A distributed operational semantics for CCS based on condition/event systems
- 1 October 1988
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 26 (1-2) , 59-91
- https://doi.org/10.1007/bf02915446
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 systemsPublished by Springer Nature ,1987
- Partial ordering derivations for CCSPublished by Springer Nature ,1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- On the relationship of CCS and petri netsPublished by Springer Nature ,1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Milner’s Communicating Systems and Petri NetsPublished by Springer Nature ,1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Elements of general net theoryPublished by Springer Nature ,1980