Coinduction for preordered algebra

DOI10.1016/J.IC.2010.11.001MaRDI QIDQ627121zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 21 February 2011

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2010.11.001

zbMATH Keywords

behavioural specificationbehavioural transitionCafeOBJcoinductionheterogeneous specificationhidden algebrapreordered algebrarewriting logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1543338
• Hidden coinduction: behavioural correctness proofs for objects
• scientific article; zbMATH DE number 1507195
• Semantic constructions for the specification of objects
• scientific article; zbMATH DE number 1418363

Cites work

• A hidden agenda
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Constructor-based observational logic
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 1231537 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• scientific article; zbMATH DE number 1418819 (Why is no real title available?)
• Institution-independent model theory
• Logical foundations of CafeOBJ

Cited in

(10)

• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• Coinductive formulas and a many-sorted interpolation theorem
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 1507195 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• A short overview of hidden logic
• CafeOBJ Traces
• Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
• Encoding hybridized institutions into first-order logic
• Non-deterministic algebraic rewriting as adjunction

Describes a project that uses

Uses Software

• Maude
• CafeOBJ

This page was built for publication: Coinduction for preordered algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q627121)