Publication:3796729

zbMath0651.68033MaRDI QIDQ3796729

Waldemar Korczynski

Publication date: 1988

zbMATH Keywords

concurrent systemsPetri netscategoriesalgebras

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

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

18C10: Theories (e.g., algebraic theories), structure, and semantics