Skip to main content
Springer Nature Link
Log in

Real-Time Event Structures and Scott Domains

  • Conference paper
Parallel Computing Technologies (PaCT 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3606))

Included in the following conference series:

Abstract

Event structures have come to play an important role in the formal study of the behaviour of distributed systems. The advantage of event structures is that they explicitly exhibit the interplay between concurrency and nondeterminism. In [14], it has been shown that event structures are closely related to Scott domains. The intention of the paper is to extend Winskel’s approach to a real-time version of event structures, obtaining a coreflection between categories of the models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alur, R., Dill, D.: The theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  2. Abramsky, S., Jung, A.: Domain theory. Handbook of Logic in Computer Science, vol. 3. Clarendon Press (1994)

    Google Scholar 

  3. Aceto, L., Murphi, D.: Timing and causality in process algebra. Acta Informatica 33(4), 317–350 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  4. Casley, R.T., Crew, R.F., Meseguer, J., Pratt, V.R.: Temporal structures. Mathematical Structures in Computer Science 1(2), 179–213 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  5. Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An event structure semantics for general Petri nets. Theoretical Computer Science 153, 129–170 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  6. Henzinger, T.A., Manna, Z., Pnueli, A.: Timed transition systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 226–251. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  7. Katoen, J.-P.: Quantative and qualitative extensions of event structures. PhD thesis, University of Twente (1996)

    Google Scholar 

  8. Lilius, J.: Efficient state space search for time Petri nets. In: MFCS 1998 Workshop on Concurrency 1998. FIMU Report Series, FIMU RS-98-06, pp. 123–130 (1998)

    Google Scholar 

  9. Murphy, D.: Time and duration in noninterleaving concurrency. Fundamenta Informaticae 19, 403–416 (1993)

    MATH  MathSciNet  Google Scholar 

  10. MacLane, S.: Categories for the working mathematician. GTM. Springer, Heidelberg (1971)

    Google Scholar 

  11. Mesguer, J., Montanari, U., Sasonne, V.: Process versus unfolding semantics for Place/Transition Petri nets. Theoretical computer science 153, 171–210 (1996)

    Article  MathSciNet  Google Scholar 

  12. Maggiolo-Schettini, A., Winkowski, J.: Towards an algebra for timed behaviours. Theoretical Computer Science 103, 335–363 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  13. Varacca, D., Völzer, H., Winskel, G.: Probabilistic event structures and domains. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 481–496. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Winskel, G.: Event Structures. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)

    Google Scholar 

  15. Winskel, G., Nielsen, N.: Models for concurrency. Handbook of Logic in Computer Science, vol. 4 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia

    R. S. Dubtsov

Authors
  1. R. S. Dubtsov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Novosibirsk State Technical University,  

    Victor Malyshkin

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dubtsov, R.S. (2005). Real-Time Event Structures and Scott Domains. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2005. Lecture Notes in Computer Science, vol 3606. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535294_4

Download citation

  • DOI: https://doi.org/10.1007/11535294_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28126-9

  • Online ISBN: 978-3-540-31826-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics