Proving Behavioral Refinements of COL-specifications

DOI10.1007/11780274_18zbMath1132.68486OpenAlexW1529044004MaRDI QIDQ5757925

Michel Bidoit, Rolf Hennicker

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_18

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

A coalgebraic perspective on logical interpretations ⋮ Observational Refinement Process ⋮ Generic constructions for behavioral specifications

Uses Software

• CafeOBJ

This page was built for publication: Proving Behavioral Refinements of COL-specifications