Skip to main content
SpringerLink
Log in

Flow event structures and flow nets

  • Conference paper
  • First Online:
Semantics of Systems of Concurrent Processes (LITP 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 469))

Included in the following conference series:

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.

References

  1. G. Boudol, I. Castellani, On the semantics of concurrency: partial orders and transition systems, TAPSOFT 87, Lecture Notes in Comput. Sci. 249 (1987) 123–137.

    Google Scholar 

  2. G. Boudol, I. Castellani, Concurrency and atomicity, Theoretical Comput. Sci. 59 (1988) 25–84.

    Google Scholar 

  3. G. Boudol, I. Castellani, Permutation of transitions: an event structure semantics for CCS and SCCS, in Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, Lecture Notes in Comput. Sci. 354 (1988) 411–427.

    Google Scholar 

  4. G. Boudol, I. Castellani, Three equivalent semantics for CCS, this volume (1990).

    Google Scholar 

  5. P. Degano, R. De Nicola, U. Montanari, Partial ordering derivations for CCS, FCT 85, Lecture Notes in Comput. Sci. 199 (1985) 520–533.

    Google Scholar 

  6. P. Degano, R. De Nicola, U. Montanari, A distributed operational semantics for CCS based on condition/event systems, Acta Informatica 26 (1988) 59–91.

    Google Scholar 

  7. P. Degano, R. De Nicola, U. Montanari, On the consistency of “truly concurrent” operational and denotational semantics, LICS 88 (1988) 133–141.

    Google Scholar 

  8. R. van Glabbeek, F. Vaandrager, Petri net models for algebraic theories of concurrency, Proceedings PARLE Conference, Eindhoven, Lecture Notes in Comput. Sci. 259 (1987) 224–242.

    Google Scholar 

  9. U. Goltz, A. Mycroft, On the relationship of CCS and Petri nets, ICALP 84, Lecture Notes in Comput. Sci. 172 (1984) 196–208.

    Google Scholar 

  10. U. Goltz, R. Loogen, A non-interleaving semantic model for nondeterministic concurrent processes, Tech. Report 87-15, RWTH Aachen (1987).

    Google Scholar 

  11. U. Goltz, On representing CCS programs by finite Petri nets, MFCS 88, Lecture Notes in Comput. Sci. 324 (1988) 339–350.

    Google Scholar 

  12. R. Milner, Communication and Concurrency, Prentice-Hall International Series in Computer Science (1989).

    Google Scholar 

  13. M. Nielsen, G. Plotkin, G. Winskel, Petri nets, event structures and domains, Theoret. Comput. Sci. 13 (1981) 85–108.

    Google Scholar 

  14. E.-R. Olderog, Operational Petri net semantics for CCSP, Advances in Petri Nets 87, Lecture Notes in Comput. Sci. 266 (1987) 196–223.

    Google Scholar 

  15. D. Taubner, Representing CCS programs by finite predicate/transition nets, Acta Informatica 27 (1990) 533–565.

    Google Scholar 

  16. F. Vaandrager, A simple definition for parallel composition of prime event structures, Tech. Rep. CS-R8903, CWI, Amsterdam (1989).

    Google Scholar 

  17. G. Winskel, Event structure semantics for CCS and related languages, Daimi PB-159, Aarhus University (1983) s.a. 9th ICALP, Lecture Notes in Comput. Sci. 140 (1982) 561–576.

    Google Scholar 

  18. G. Winskel, Event structures, Advances in Petri Nets 86, Lecture Notes in Comput. Sci. 255 (1987) 325–392.

    Google Scholar 

  19. G. Winskel, An introduction to event structures, in Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, Lecture Notes in Comput. Sci. 354 (1988).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inria Sophia-Antipolis, 06565, Valbonne, France

    Gérard Boudol

Authors
  1. Gérard Boudol
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Irène Guessarian

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag

About this paper

Cite this paper

Boudol, G. (1990). Flow event structures and flow nets. In: Guessarian, I. (eds) Semantics of Systems of Concurrent Processes. LITP 1990. Lecture Notes in Computer Science, vol 469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53479-2_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-53479-2_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53479-2

  • Online ISBN: 978-3-540-46897-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation