PP-2009-15: Leal, Raul and Kupke, Clemens (2009) Of the Hennessy-Milner property and Other Demons. [Report]
Preview |
Text (Full Text)
PP-2009-15.text.pdf Download (297kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2009-15.abstract.txt Download (695B) |
Abstract
We relate three different, but equivalent, ways to characterise
behavioural equivalence for set coalgebras. These are: using final
coalgebras, using coalgebraic languages that have the Hennessy- Milner
property and using coalgebraic languages that have ``logical
congruences''. On the technical side the main result of our paper is a
straightforward construction of the final $T$-coalgebra of a set
functor using a given logical language that has the Hennessy-Milner
property with respect to the class of $T$-coalgebras.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2009-15 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2009 |
| Uncontrolled Keywords: | Final coalgebra; Hennessy-Milner Language; Coalgebra; Caolgebraic Language |
| Depositing User: | raulleal |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/345 |
Actions (login required)
 |
View Item |
