Structured operational semantics and bisimulation as a congruence
- 1 October 1992
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 100 (2), 202-260
- https://doi.org/10.1016/0890-5401(92)90013-6
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Readies and Failures in the Algebra of Communicating ProcessesSIAM Journal on Computing, 1988
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Formal verification of parallel programsCommunications of the ACM, 1976