Generalized OM-bisimulation
From MaRDI portal
Publication:1891131
DOI10.1006/INCO.1995.1050zbMath0939.68920OpenAlexW1983798961MaRDI 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 (3)
Deciding true concurrency equivalences on safe, finite nets ⋮ Models for name-passing processes: Interleaving and causal ⋮ Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
This page was built for publication: Generalized OM-bisimulation
