(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications
Open Access
- 31 December 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 19, 164-180
- https://doi.org/10.1016/s1571-0661(05)80275-0
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Modular correctness proofs of behavioural implementationsActa Informatica, 1998
- Observational LogicPublished by Springer Nature ,1998
- Proof systems for structured specifications with observability operatorsTheoretical Computer Science, 1997
- Behavioural theories and the proof of behavioural propertiesTheoretical Computer Science, 1996
- Behavioural equivalence, bisimulation, and minimal realisationPublished by Springer Nature ,1996
- Behavioural and abstractor specificationsScience of Computer Programming, 1995
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- Mongruences and cofree coalgebrasPublished by Springer Nature ,1995
- Proving behavioural theorems with standard first-order logicPublished by Springer Nature ,1994