Bisimulation is two-way simulation
From MaRDI portal
Publication:1342255
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
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