Quantitative Kleene coalgebras - Archive ouverte HAL
Article Dans Une Revue Information and Computation Année : 2011

Quantitative Kleene coalgebras

Marcello Bonsangue
  • Fonction : Auteur
  • PersonId : 895511
Jan Rutten
  • Fonction : Auteur
  • PersonId : 895512
Alexandra Silva
  • Fonction : Auteur
  • PersonId : 895513

Résumé

We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative systems. Our quantitative systems include weighted versions of automata and transition systems, in which transitions are assigned a value in a monoid that represents cost, duration, probability, etc. Such systems are represented as coalgebras and (1) and (2) above are derived in a modular fashion from the underlying (functor) type of these coalgebras. In previous work, we applied a similar approach to a class of systems (without weights) that generalizes both the results of Kleene (on rational languages and DFA's) and Milner (on regular behaviours and finite LTS's), and includes many other systems such as Mealy and Moore machines. In the present paper, we extend this framework to deal with quantitative systems. As a consequence, our results now include languages and axiomatizations, both existing and new ones, for many different kinds of probabilistic systems.

Dates et versions

hal-00777557 , version 1 (17-01-2013)

Identifiants

Citer

Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva. Quantitative Kleene coalgebras. Information and Computation, 2011, 209 (5), pp.822-849. ⟨10.1016/j.ic.2010.09.007⟩. ⟨hal-00777557⟩
127 Consultations
0 Téléchargements

Altmetric

Partager

More