Deriving Bisimulation Congruences for Reactive Systems

This publication has 21 references indexed in Scilit:

• An algebra of graphs and graph rewriting
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Closed action calculi
  Theoretical Computer Science, 1999
• Mobile ambients
  Published by Springer Nature ,1998
• Global/local subtyping and capability inference for a distributed π-calculus
  Published by Springer Nature ,1998
• Bisimulation from Open Maps
  Information and Computation, 1996
• Structured operational semantics and bisimulation as a congruence
  Information and Computation, 1992
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986