A domain equation for bisimulation
- 1 June 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 92 (2) , 161-218
- https://doi.org/10.1006/inco.1991.9999
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A term model for synchronous processesInformation and Control, 1981
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977