scientific article

zbMath0983.68787MaRDI QIDQ2767179

Lorenzo Repetto, Gianna Reggio

Publication date: 28 January 2002

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)

Related Items

CSP-CASL -- a new integration of process algebra and algebraic specification, Algebraic-coalgebraic specification in CoCASL, Relating CASL with other specification languages: the institution level., A formal approach to object-oriented software engineering

Uses Software

• CoFI
• CASL