Table of contents

  1. Front Matter
  2. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Pages 1-20
  3. J. W. de Bakker, J. H. A. Warmerdam
    Pages 21-49
  4. Joffroy Beauquier
    Pages 50-61
  5. Gérard Boudol
    Pages 62-95
  6. Gérard Boudol, Ilaria Castellani
    Pages 96-141
  7. Bernadette Charron-Bost
    Pages 176-184
  8. Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
    Pages 185-222
  9. Ph. Darondeau
    Pages 223-238
  10. Philippe Darondeau, Pierpaolo Degano
    Pages 239-255
  11. G. Duchamp, D. Krob
    Pages 256-276
  12. Paul Gastin
    Pages 277-308
  13. Rob J. van Glabbeek, Ursula Goltz
    Pages 309-333
  14. Ursula Goltz
    Pages 334-357
  15. Irène Guessarian
    Pages 358-374
  16. Stefano Kasangian, Anna Labella, Alberto Pettorossi
    Pages 375-406
  17. Rocco De Nicola, Frits Vaandrager
    Pages 407-419

About these proceedings


This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems.


Bisimulation Equivalence Nebenläufigkeit Parallelität Semantik Verteilte Prozesse commutative property computability concurrency logic petri net semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53479-2
  • Online ISBN 978-3-540-46897-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site