Publication:4364400
From MaRDI portal
zbMath0886.68102MaRDI QIDQ4364400
Publication date: 17 November 1997
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Decidability of model checking with the temporal logic EF, The regular viewpoint on PA-processes, Process rewrite systems., Recursive Petri nets