Issue |
RAIRO-Theor. Inf. Appl.
Volume 45, Number 1, January-March 2011
ICTCS 09
|
|
---|---|---|
Page(s) | 117 - 142 | |
DOI | https://doi.org/10.1051/ita/2011015 | |
Published online | 15 March 2011 |
The compositional construction of Markov processes II
1
Dipartimento di Fisica e Matematica, Università degli Studi dell'Insubria, via Valleggio 11, 22100 Como, Italy; luisa.dfa@libero.it
2
Dipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, via Carloni 78, 22100 Como, Italy; {nicoletta.sabadini};{robert.walters}@uninsubria.it
Received:
16
February
2010
Accepted:
23
November
2010
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, arXiv:0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch et al. [SIAM J. Comput. 37 (2007) 977–1013].
Mathematics Subject Classification: 18B20 / 60J10 / 18D10 / 05C22
Key words: Categorical algebra / Markov process / weighted automaton / hierarchical / distributed
© EDP Sciences, 2011
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.