Final coalgebras and the Hennessy–Milner property
- 31 March 2006
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 138 (1-3) , 77-93
- https://doi.org/10.1016/j.apal.2005.06.006
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- From modal logic to terminal coalgebrasTheoretical Computer Science, 2001
- Specifying coalgebras with modal logicTheoretical Computer Science, 2001
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic StudyRAIRO - Theoretical Informatics and Applications, 2001
- A small final coalgebra theoremTheoretical Computer Science, 2000
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- SubequalizersCanadian Mathematical Bulletin, 1970