scientific article

zbMath0971.68589MaRDI QIDQ2729074

Till Mossakowski

Publication date: 6 November 2001

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 (6)

CSP-CASL -- a new integration of process algebra and algebraic specification ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ CASL ⋮ CASL: the Common Algebraic Specification Language. ⋮ Relating CASL with other specification languages: the institution level.

Uses Software

• LaTeX

This page was built for publication: