scientific article; zbMATH DE number 1507195

zbMath0964.68083MaRDI QIDQ4503915

Joseph A. Goguen, Grigore Roşu

Publication date: 24 June 2001

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

zbMATH Keywords

algebraic semanticscoinductionhidden algebrabehavioural specificationbehavioural verification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (10)

A short overview of Hidden Logic ⋮ Complete sets of cooperations ⋮ Foundations for structuring behavioural specifications ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems ⋮ Semantic constructions for the specification of objects ⋮ Towards Behavioral Maude ⋮ Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems ⋮ Observational Coalgebras and Complete Sets of Co-operations

Uses Software

• CafeOBJ

This page was built for publication: