The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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 [ 37 (2007) 977–1013].
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,
]. 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 [
(2007) 977–1013].
Download Results (CSV)