Behavioural reasoning for conditional equations

DOI10.1017/S0960129507006305zbMATH Open1129.68025MaRDI QIDQ5430141FDOQ5430141

Authors: Manuel A. Martins, Don Pigozzi 

Publication date: 12 December 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1314230
• scientific article; zbMATH DE number 1543338
• Publication:4503915
• Expressive logics for coalgebras via terminal sequence induction
• scientific article; zbMATH DE number 1753205

zbMATH Keywords

equational specification logics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Cites Work

• A survey of abstract algebraic logic
• A hidden agenda
• Observational proofs by rewriting.
• Behavioural and abstractor specifications
• Hidden coinduction: behavioural correctness proofs for objects
• Behavioural theories and the proof of behavioural properties
• On behavioural abstraction and behavioural satisfaction in higher-order logic

Cited In (9)

• A mathematical life
• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
• A short overview of hidden logic
• A coalgebraic perspective on logical interpretations
• Observational refinement process
• Boolean product representations of algebras via binary polynomials
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Abstract valuation semantics
• Refinement by Interpretation in a General Setting

Uses Software

• CafeOBJ

This page was built for publication: Behavioural reasoning for conditional equations

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