scientific article
From MaRDI portal
Publication:3751025
zbMath0611.68037MaRDI QIDQ3751025
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (max. 100)
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) ⋮ Normalization of place/transition-systems preserves net behaviour ⋮ Deciding true concurrency equivalences on safe, finite nets ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Modal Open Petri Nets ⋮ Unnamed Item ⋮ Maximality preserving bisimulation ⋮ Conflict vs causality in event structures ⋮ Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence ⋮ A completed hierarchy of true concurrent equivalences
This page was built for publication: