The tyft/tyxt format reduces to tree rules
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A congruence theorem for structured operational semantics with predicatesPublished by Springer Nature ,1993
- Structured operational semantics and bisimulation as a congruenceInformation and Computation, 1992
- Bisimulation can't be tracedPublished by Association for Computing Machinery (ACM) ,1988
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985