Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1990

Semantics of Systems of Concurrent Processes

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

Editors:

  1. Irène Guessarian
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (19 papers)

  1. Front Matter

    PDF

  2. Processes as data types: Observational semantics and logic

    • Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Pages 1-20

  3. Metric pomset semantics for a concurrent language with recursion

    • J. W. de Bakker, J. H. A. Warmerdam
    Pages 21-49

  4. Fault-tolerant naming and mutual exclusion

    • Joffroy Beauquier
    Pages 50-61

  5. Flow event structures and flow nets

    • Gérard Boudol
    Pages 62-95

  6. Three equivalent semantics for CCS

    • Gérard Boudol, Ilaria Castellani
    Pages 96-141

  8. Concerning the size of clocks

    • Bernadette Charron-Bost
    Pages 176-184

  9. Transition systems with algebraic structure as models of computations

    • Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
    Pages 185-222

  10. Concurrency and computability

    • Ph. Darondeau
    Pages 223-238

  11. Causal trees interleaving + causality

    • Philippe Darondeau, Pierpaolo Degano
    Pages 239-255

  12. Partially commutative formal power series

    • G. Duchamp, D. Krob
    Pages 256-276

  13. Infinite traces

    • Paul Gastin
    Pages 277-308

  14. Equivalences and refinement

    • Rob J. van Glabbeek, Ursula Goltz
    Pages 309-333

  15. CCS and petri nets

    • Ursula Goltz
    Pages 334-357

  16. About fixpoints for concurrency

    • Irène Guessarian
    Pages 358-374

  17. Observers, experiments, and agents: A comprehensive approach to parallelism

    • Stefano Kasangian, Anna Labella, Alberto Pettorossi
    Pages 375-406

  18. Action versus state based logics for transition systems

    • Rocco De Nicola, Frits Vaandrager
    Pages 407-419
Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation