Bisimulation is two-way simulation

DOI10.1016/0020-0190(94)00165-0zbMath0938.68742OpenAlexW1984416558MaRDI QIDQ1342255

Gheorghe Ştefănescu, Jan A. Bergstra

Publication date: 9 February 1995

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/2890058/200_2638y.pdf

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99)

Related Items

Processes with multiple entries and exits ⋮ An algebraic characterization of observational equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulations and abstraction homomorphisms
• On flowchart theories. I. The deterministic case
• A calculus of communicating systems
• An algebraic characterization of transition system equivalences
• On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
• Process Algebra