REX School/Symposium 1993: Noordwijkerhout, The Netherlands

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