Universal axioms for bisimulations
- 14 June 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 114 (1) , 63-91
- https://doi.org/10.1016/0304-3975(93)90153-k
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Observation TreesPublished by Springer Nature ,1993
- A partial ordering semantics for CCSTheoretical Computer Science, 1990
- Concurrency and atomicityTheoretical Computer Science, 1988
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- Bisimulations and abstraction homomorphismsJournal of Computer and System Sciences, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Process algebra for synchronous communicationInformation and Control, 1984