A distributed operational semantics for CCS based on condition/event systems
- 1 October 1988
- journal article
- Published by Springer Science and Business Media LLC 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 systemsLecture Notes in Computer Science, 1987
- Partial ordering derivations for CCSPublished by Springer Science and Business Media LLC ,1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- On the relationship of CCS and petri netsLecture Notes in Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Milner’s Communicating Systems and Petri NetsPublished by Springer Science and Business Media LLC ,1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Elements of general net theoryPublished by Springer Science and Business Media LLC ,1980