Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Semantics of Systems of Concurrent Processes

LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings

Editors: Guessarian, Irene (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46897-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-53479-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (19 chapters)

Table of contents (19 chapters)
  • Processes as data types: Observational semantics and logic

    Pages 1-20

    Astesiano, Egidio (et al.)

  • Metric pomset semantics for a concurrent language with recursion

    Pages 21-49

    Bakker, J. W. (et al.)

  • Fault-tolerant naming and mutual exclusion

    Pages 50-61

    Beauquier, Joffroy

  • Flow event structures and flow nets

    Pages 62-95

    Boudol, Gérard

  • Three equivalent semantics for CCS

    Pages 96-141

    Boudol, Gérard (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46897-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-53479-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Semantics of Systems of Concurrent Processes
Book Subtitle
LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings
Editors
  • Irene Guessarian
Series Title
Lecture Notes in Computer Science
Series Volume
469
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46897-4
DOI
10.1007/3-540-53479-2
Softcover ISBN
978-3-540-53479-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
V, 457
Number of Illustrations
6 b/w illustrations
Topics