A Decade of Concurrency Reflections and Perspectives

REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings

Editors:

ISBN: 978-3-540-58043-0 (Print) 978-3-540-48423-3 (Online)

Table of contents (15 chapters)

  1. No Access

    Book Chapter

    Pages 1-45

    Data-flow synchronous languages

  2. No Access

    Book Chapter

    Pages 46-91

    Process algebra with backtracking

  3. No Access

    Book Chapter

    Pages 92-123

    Some Chemical Abstract Machines

  4. No Access

    Book Chapter

    Pages 124-175

    Verification tools for finite-state concurrent systems

  5. No Access

    Book Chapter

    Pages 176-229

    Linear logic on Petri nets

  6. No Access

    Book Chapter

    Pages 230-272

    An introduction to the theoretical aspects of Coloured Petri Nets

  7. No Access

    Book Chapter

    Pages 273-346

    Temporal verification of simulation and refinement

  8. No Access

    Book Chapter

    Pages 347-374

    Verification and specification of concurrent programs

  9. No Access

    Book Chapter

    Pages 375-424

    Simulation techniques for proving properties of real-time systems

  10. No Access

    Book Chapter

    Pages 425-476

    Relationships between models of concurrency

  11. No Access

    Book Chapter

    Pages 477-508

    Interaction diagrams

  12. No Access

    Book Chapter

    Pages 509-529

    Algebraic theories for name-passing calculi

  13. No Access

    Book Chapter

    Pages 530-582

    Initial algebra and final coalgebra semantics for concurrency

  14. No Access

    Book Chapter

    Pages 583-621

    Logical specifications of infinite computations

  15. No Access

    Book Chapter

    Pages 622-684

    Partial order based design of concurrent systems