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