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]

[img]
Preview
Text (Full Text)
PP-2009-15.text.pdf

Download (297kB) | Preview
[img] 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 View Item