Generalized OM-bisimulation
From MaRDI portal
Publication:1891131
DOI10.1006/inco.1995.1050zbMath0939.68920MaRDI QIDQ1891131
Publication date: 4 July 2000
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1050
Related Items
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, Models for name-passing processes: Interleaving and causal, Deciding true concurrency equivalences on safe, finite nets