J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings.
Lecture Notes in Computer Science 803 Springer 1994, ISBN 3-540-58043-3 
- Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs:
Data-Flow Synchronous Languages.
1-45
- Jan A. Bergstra, Alban Ponse, Jos van Wamel:
Process Algebra with Backtracking.
46-91
- Gérard Boudol:
Some Chemical Abstract Machines.
92-123
- Edmund M. Clarke, Orna Grumberg, David E. Long:
Verification Tools for Finite-State Concurrent Systems.
124-175
- Uffe Engberg, Glynn Winskel:
Linear Logic on Petri Nets.
176-229
- Kurt Jensen:
An Introduction to the Theoretical Aspects of Coloured Petri Nets.
230-272
- Yonit Kesten, Zohar Manna, Amir Pnueli:
Temporal Verification of Simulation and Refinement.
273-346
- Leslie Lamport:
Verification and Specifications of Concurrent Programs.
347-374
- Nancy A. Lynch:
Simulation Techniques for Proving Properties of Real-Time Systems.
375-424
- Mogens Nielsen, Vladimiro Sassone, Glynn Winskel:
Relationships Between Models of Concurrency.
425-476
- Joachim Parrow:
Interaction Diagrams.
477-508
- Joachim Parrow, Davide Sangiorgi:
Algebraic Theories for Name-Passing Calculi.
509-529
- Jan J. M. M. Rutten, Daniele Turi:
Initial Algebra and Final Coalgebra Semantics for Concurrency.
530-582
- Wolfgang Thomas, Helmut Lescow:
Logical Specifications of Infinite Computations.
583-621
- Job Zwiers, Wil Janssen:
Partial Order Based Design of Concurrent Systems.
622-684
Copyright © Thu Nov 12 01:15:34 2009
by Michael Ley (ley@uni-trier.de)
