From Branching to Linear Time, Coalgebraically
From Branching to Linear Time, Coalgebraically
We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour of a state in such a coalgebra. By moving away from a boolean universe of truth values, our approach can measure the extent to which a state in a system with branching is able to exhibit a particular linear-time behaviour. This instantiates to measuring the probability of a specific behaviour occurring in a probabilistic system, or measuring the minimal cost of exhibiting a specific behaviour in the case of weighted computations.
11-27
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
1 September 2013
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Cirstea, Corina
(2013)
From Branching to Linear Time, Coalgebraically.
Workshop on Fixed Points in Computer Science, Torino, Italy.
.
(doi:10.4204/EPTCS.126).
Record type:
Conference or Workshop Item
(Paper)
Abstract
We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour of a state in such a coalgebra. By moving away from a boolean universe of truth values, our approach can measure the extent to which a state in a system with branching is able to exhibit a particular linear-time behaviour. This instantiates to measuring the probability of a specific behaviour occurring in a probabilistic system, or measuring the minimal cost of exhibiting a specific behaviour in the case of weighted computations.
Text
fics201308232033.pdf
- Author's Original
Available under License Other.
More information
Published date: 1 September 2013
Venue - Dates:
Workshop on Fixed Points in Computer Science, Torino, Italy, 2013-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 356503
URI: http://eprints.soton.ac.uk/id/eprint/356503
PURE UUID: 3f6b0db3-bb69-434b-b843-13df01cf5973
Catalogue record
Date deposited: 05 Sep 2013 12:15
Last modified: 15 Mar 2024 03:18
Export record
Altmetrics
Contributors
Author:
Corina Cirstea
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