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.
coalgebra, linear time, trace
379-406
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
3 March 2017
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Cirstea, Corina
(2017)
From branching to linear time, coalgebraically.
Fundamenta Informaticae, 150 (3-4), .
(doi:10.3233/FI-2017-1474).
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
fi.pdf
- Accepted Manuscript
Text
20750094_REF2021
- Version of Record
Restricted to Repository staff only
Request a copy
More information
Accepted/In Press date: 19 February 2016
e-pub ahead of print date: 3 March 2017
Published date: 3 March 2017
Keywords:
coalgebra, linear time, trace
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 388189
URI: http://eprints.soton.ac.uk/id/eprint/388189
PURE UUID: 330f9cbb-9a88-45a3-9075-ce5ac043ee2e
Catalogue record
Date deposited: 22 Feb 2016 09:00
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