REX Workshop 1988: Noordwijkerhout, The Netherlands

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Lecture Notes in Computer Science 354 Springer 1989, ISBN 3-540-51080-X BibTeX

@proceedings{DBLP:conf/rex/1988,
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Linear Time, Branching Time and Partial Order in Logics and Models
               for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
               May 30 - June 3, 1988, Proceedings},
  booktitle = {REX Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {354},
  year      = {1989},
  isbn      = {3-540-51080-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorials

Johan van Benthem: Time, logic and computation. 1-49 BibTeX
Jan A. Bergstra, Jan Willem Klop: Process theory based on bisimulation semantics. 50-122 BibTeX
E. Allen Emerson, Jai Srinivasan: Branching time temporal logic. 123-172 BibTeX
Matthew Hennessy: Observing processes. 173-200 BibTeX
Zohar Manna, Amir Pnueli: The anchored version of the temporal framework. 201-284 BibTeX
Antoni W. Mazurkiewicz: Basic notions of trace theory. 285-363 BibTeX
Glynn Winskel: An introduction to event structures. 364-397 BibTeX

Technical Contributions

Ahmed Bouajjani, Susanne Graf, Joseph Sifakis: A logig for the description of behaviours and properties of concurrent systems. 398-410 BibTeX
Gérard Boudol, Ilaria Castellani: Permutation of transitions: An event structure semantics for CCS and SCCS. 411-427 BibTeX
Edmund M. Clarke, I. A. Draghicescu: Expressibility results for linear-time and branching-time logics. 428-437 BibTeX
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial orderings descriptions and observations of nondeterministic concurrent processes. 438-466 BibTeX
Haim Gaifman: Modeling concurrency by partial orders and nonlinear transition systems. 467-488 BibTeX
Shmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. 489-507 BibTeX
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan: A logic for distributed transition sytems. 508-522 BibTeX
Mogens Nielsen, Uffe Engberg, Kim S. Larsen: Fully abstract models for a process language with refinement. 523-548 BibTeX
Ernst-Rüdiger Olderog: Strong bisimilarity on nets: a new concept for comparing net semantics. 549-573 BibTeX
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: Nets of processes and data flow. 574-602 BibTeX
Wolfgang Reisig: Towards a temporal logic of causality and choice in distributed systems. 603-627 BibTeX
Jan J. M. M. Rutten: Correctness and full abstraction of metric semantics for concurrency. 628-659 BibTeX
Colin Stirling: Temporal logics for CCS. 660-672 BibTeX
M. W. Shields: Behavioural Presentations. 673-689 BibTeX
Wolfgang Thomas: Computation tree logic and regular omega-languages. 690-713 BibTeX