Publication:3766863
From MaRDI portal
zbMath0629.68061MaRDI QIDQ3766863
Publication date: 1987
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Temporal uncertainty and fuzzy-timing high-level Petri nets, On the border of causality: contact and confusion, A characterization of systems derived from terminating concurrent histories, Analysis of Petri nets by stepwise refinements, Formalization of semantics of systems with unreliable agents by means of nets of active resources, Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems