A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Series: | Lecture notes in computer science ;
803. |
| Subjects: |
Table of Contents:
- Data-Flow Synchronous Languages / A. Benveniste, P. Caspi, P. Le Guernic and N. Halbwachs
- Process Algebra with Backtracking / J. A. Bergstra, A. Ponse and J. J. van Wamel
- Some Chemical Abstract Machines / G. Boudol
- Verification Tools for Finite-State Concurrent Systems / E. Clarke, O. Grumberg and D. Long
- Linear Logic on Petri Nets / U. Engberg and G. Winskel
- An Introduction to the Theoretical Aspects of Coloured Petri Nets / K. Jensen
- Temporal Verification of Simulation and Refinement / Y. Kesten, Z. Manna and A. Pnueli
- Verification and Specification of Concurrent Programs / L. Lamport
- Simulation Techniques for Proving Properties of Real-Time Systems / N. Lynch
- Relationships Between Models of Concurrency / M. Nielsen, V. Sassone and G. Winskel
- Interaction Diagrams / J. Parrow
- Algebraic Theories for Name-Passing Calculi / J. Parrow and D. Sangiorgi
- Initial Algebra and Final Coalgebra Semantics for Concurrency / J. Rutten and D. Turi.
- Logical Specifications of Infinite Computations / W. Thomas and H. Lescow
- Partial Order Based Design of Concurrent Systems / J. Zwiers and W. Janssen.