scientific article; zbMATH DE number 3892604
From MaRDI portal
Publication:5184417
zbMath0559.68058MaRDI QIDQ5184417
Publication date: 1984
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) Categories of machines, automata (18B20)
Related Items (14)
Petri nets, algebras, morphisms, and compositionality ⋮ Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP ⋮ Synchronization trees ⋮ Asynchronous Traces and Open Petri Nets ⋮ On the category of Petri net computations ⋮ A counterexample to Thiagarajan's conjecture on regular event structures ⋮ Just testing ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Executions: A new partial-order semantics of Petri nets ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ An algebraic characterisation of elementary net system (observable) state space ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Event Structures with Symmetry ⋮ Closure functions and general iterates as reflectors
This page was built for publication:
