A distributed operational semantics for CCS based on condition/event systems
Authors:
- 1 October 1988
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 26 (1-2) , 59-91
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- On the semantics of concurrency: Partial orders and transition systems1987
- Partial ordering derivations for CCS1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- On the relationship of CCS and petri nets1984
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Milner’s Communicating Systems and Petri Nets1983
- A Calculus of Communicating Systems1980
- Elements of general net theory1980