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

Tutorials

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

Technical Contributions

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