Publication:3210909

zbMath0723.68077MaRDI QIDQ3210909

Hendrik Jan Hoogeboom, Grzegorz Rozenberg

Publication date: 1991

zbMATH Keywords

concurrent systems; diamond property; isomorphisms of case graphs; sequential case graph

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

An algebraic characterisation of elementary net system (observable) state space