default search action
REX Workshop 1988: Noordwijkerhout, The Netherlands
- J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 A. Peled:
An efficient verification method for parallel and distributed programs. 489-507 - Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
A logic for distributed transition systems. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-28 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: