Modularity in Coalgebra
Modularity in Coalgebra
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisations, and (iii) sound and complete axiomatisations, for systems modelled as coalgebras of functors on Set. Our approach applies directly to an inductively-defined class of coalgebraic types, which subsumes several types of discrete state-based systems, including (probabilistic) transition systems, probabilistic automata and spatial transition systems.
3-26
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Adámek, J.
081dfea6-bdf4-4e79-860f-0ddca43f92ef
Milius, S.
6c2897ec-fef1-4ead-959d-afccd6722bed
2006
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Adámek, J.
081dfea6-bdf4-4e79-860f-0ddca43f92ef
Milius, S.
6c2897ec-fef1-4ead-959d-afccd6722bed
Cirstea, Corina
(2006)
Modularity in Coalgebra.
Adámek, J. and Milius, S.
(eds.)
8th International Workshop on Coalgebraic Methods in Computer Science.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisations, and (iii) sound and complete axiomatisations, for systems modelled as coalgebras of functors on Set. Our approach applies directly to an inductively-defined class of coalgebraic types, which subsumes several types of discrete state-based systems, including (probabilistic) transition systems, probabilistic automata and spatial transition systems.
More information
Published date: 2006
Venue - Dates:
8th International Workshop on Coalgebraic Methods in Computer Science, 2006-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263010
URI: http://eprints.soton.ac.uk/id/eprint/263010
PURE UUID: ac6bdfb8-cbfb-4d8d-9cc1-ff779b4ed65f
Catalogue record
Date deposited: 21 Sep 2006
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Editor:
J. Adámek
Editor:
S. Milius
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics