Bisimulation is two-way simulation
type: Item
instance of: scholarly article
title: Bisimulation is two-way simulation
zbMATH Open document ID: 0938.68742
DOI: 10.1016/0020-0190(94)00165-0
author: Gh. Ştefănescu
author: J. A. Bergstra
published in: Information Processing Letters
publication date: 1995-02-09T00:00:00Z
full work available at URL: 200 2638y.pdf
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 710244
MaRDI profile type: Publication
OpenAlex ID: W1984416558
cites work: An algebraic characterization of transition system equivalences
cites work: Process Algebra
cites work: Q4284236
cites work: Q4890705
cites work: Bisimulations and abstraction homomorphisms
cites work: Q4165484
cites work: On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
cites work: A calculus of communicating systems
cites work: Q3907077
cites work: On flowchart theories. I. The deterministic case
description: scientific article; zbMATH DE number 710244