Abstract is missing.
- Data-Flow Synchronous LanguagesAlbert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs. 1-45
- Process Algebra with BacktrackingJan A. Bergstra, Alban Ponse, Jos van Wamel. 46-91
- Some Chemical Abstract MachinesGĂ©rard Boudol. 92-123
- Verification Tools for Finite-State Concurrent SystemsEdmund M. Clarke, Orna Grumberg, David E. Long. 124-175
- Linear Logic on Petri NetsUffe Engberg, Glynn Winskel. 176-229
- An Introduction to the Theoretical Aspects of Coloured Petri NetsKurt Jensen. 230-272
- Temporal Verification of Simulation and RefinementYonit Kesten, Zohar Manna, Amir Pnueli. 273-346
- Verification and Specifications of Concurrent ProgramsLeslie Lamport. 347-374
- Simulation Techniques for Proving Properties of Real-Time SystemsNancy A. Lynch. 375-424
- Relationships Between Models of ConcurrencyMogens Nielsen, Vladimiro Sassone, Glynn Winskel. 425-476
- Interaction DiagramsJoachim Parrow. 477-508
- Algebraic Theories for Name-Passing CalculiJoachim Parrow, Davide Sangiorgi. 509-529
- Initial Algebra and Final Coalgebra Semantics for ConcurrencyJan J. M. M. Rutten, Daniele Turi. 530-582
- Logical Specifications of Infinite ComputationsWolfgang Thomas, Helmut Lescow. 583-621
- Partial Order Based Design of Concurrent SystemsJob Zwiers, Wil Janssen. 622-684