scientific article

zbMath0777.68067MaRDI QIDQ4035231

Gerardo Costa, Gianna Reggio

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)

Related Items (1)

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

This page was built for publication: