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

A Decade of Concurrency: Reflections and Perspectives

Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

Editors:

  1. J. W. Bakker
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. -P. Roever
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. G. Rozenberg
    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 803)

Sections

Buy it now

Softcover Book USD 109.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 (15 papers)

  1. Front Matter

    PDF

  2. Data-flow synchronous languages

    • Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
    Pages 1-45

  3. Process algebra with backtracking

    • J. A. Bergstra, A. Ponse, J. J. van Wamel
    Pages 46-91

  4. Some Chemical Abstract Machines

    • Gérard Boudol
    Pages 92-123

  5. Verification tools for finite-state concurrent systems

    • E. Clarke, O. Grumberg, D. Long
    Pages 124-175

  6. Linear logic on Petri nets

    • Uffe Engberg, Glynn Winskel
    Pages 176-229

  8. Temporal verification of simulation and refinement

    • Yonit Kesten, Zohar Manna, Amir Pnueli
    Pages 273-346

  11. Relationships between models of concurrency

    • Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
    Pages 425-476

  12. Interaction diagrams

    • Joachim Parrow
    Pages 477-508

  13. Algebraic theories for name-passing calculi

    • Joachim Parrow, Davide Sangiorgi
    Pages 509-529

  14. Initial algebra and final coalgebra semantics for concurrency

    • Jan Rutten, Daniele Turi
    Pages 530-582

  15. Logical specifications of infinite computations

    • Wolfgang Thomas, Helmut Lescow
    Pages 583-621

  16. Partial order based design of concurrent systems

    • Job Zwiers, Wil Janssen
    Pages 622-684

  17. Back Matter

    PDF
Back to top

About this book

The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
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 109.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