Publication:3796729
From MaRDI portal
zbMath0651.68033MaRDI QIDQ3796729
Publication date: 1988
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