Publication:2767181
From MaRDI portal
zbMath0983.68524MaRDI QIDQ2767181
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Publication date: 28 January 2002
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items