Structured operational semantics and bisimulation as a congruence
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 423-438
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Merge and termination in process algebra1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Bounded nondeterminism and the approximation induction principle in process algebra1987
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A Calculus of Communicating Systems1980