Equivalence notions for concurrent systems and refinement of actions
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 237-248
- https://doi.org/10.1007/3-540-51486-4_71
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981