PP-2009-15: Of the Hennessy-Milner property and Other Demons

PP-2009-15: Leal, Raul and Kupke, Clemens (2009) Of the Hennessy-Milner property and Other Demons. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (297kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (695B)


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 View Item