Publication:4176984
From MaRDI portal
zbMath0394.68043MaRDI QIDQ4176984
Publication date: 1978
Full work available at URL: https://eudml.org/doc/92066
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Petri nets for modeling of dynamic systems -- a survey, Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
Cites Work