Deriving Bisimulation Congruences for Reactive Systems
Authors:
- 21 December 2000
- book chapter
- Published by Springer Nature
- p. 243-258
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Closed action calculiTheoretical Computer Science, 1999
- Mobile ambients1998
- Global/local subtyping and capability inference for a distributed π-calculus1998
- Calculi for interactionActa Informatica, 1996
- Bisimulation from Open MapsInformation and Computation, 1996
- Structured operational semantics and bisimulation as a congruenceInformation and Computation, 1992
- A calculus of mobile processes, IInformation and Computation, 1992
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Notes on Communicating Sequential Systems1986