A congruence theorem for structured operational semantics with predicates
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 477-492
- https://doi.org/10.1007/3-540-57208-2_33
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- An Operational Semantics for Timed CSPInformation and Computation, 1995
- Structured operational semantics and bisimulation as a congruenceInformation and Computation, 1992
- An algebra for process creationActa Informatica, 1992
- Termination, deadlock, and divergenceJournal of the ACM, 1992
- On the consistency of Koomen's Fair Abstraction RuleTheoretical Computer Science, 1987
- Merge and termination in process algebraPublished by Springer Nature ,1987
- Bounded nondeterminism and the approximation induction principle in process algebraPublished by Springer Nature ,1987
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985