Publication:4035231

zbMath0777.68067MaRDI QIDQ4035231

Gerardo Costa, Gianna Reggio

Publication date: 18 May 1993

zbMATH Keywords

concurrent systems

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q65: Abstract data types; algebraic specification

Related Items

Specification of abstract dynamic-data types: A temporal logic approach