Behavioural reasoning for conditional equations
From MaRDI portal
Publication:5430141
Recommendations
Cites work
- A hidden agenda
- A survey of abstract algebraic logic
- Behavioural and abstractor specifications
- Behavioural theories and the proof of behavioural properties
- Hidden coinduction: behavioural correctness proofs for objects
- Observational proofs by rewriting.
- 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 coalgebraic perspective on logical interpretations
- A short overview of hidden logic
- 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
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)