Partial orderings descriptions and observations of nondeterministic concurrent processes
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 438-466
- https://doi.org/10.1007/bfb0013030
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Equivalence notions for concurrent systems and refinement of actionsPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Extensional equivalences for transition systemsActa Informatica, 1987
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- CCS is an (augmented) contact free C/E systemPublished by Springer Nature ,1987
- On the semantics of concurrency: Partial orders and transition systemsPublished by Springer Nature ,1987
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980