Publication:2729074
From MaRDI portal
zbMath0971.68589MaRDI QIDQ2729074
Publication date: 6 November 2001
Related Items
CASL, CASL: the Common Algebraic Specification Language., Relating CASL with other specification languages: the institution level., Manipulating algebraic specifications with term-based and graph-based representations, CSP-CASL -- a new integration of process algebra and algebraic specification, Algebraic-coalgebraic specification in CoCASL
Uses Software