@inbook{62214b305b9b448fb6ff68461afe09d0,
title = "On probabilistic Kleene algebras, automata and simulations",
abstract = "We show that a class of automata modulo simulation equivalence forms a model of probabilistic Kleene algebra. We prove completeness of this model with respect to continuous probabilistic Kleene algebras. Hence an identity is valid in continuous probabilistic Kleene algebras if and only if the associated automata are simulation equivalent.",
author = "Annabelle McIver and Rabehaja, {Tahiry M.} and Georg Struth",
year = "2011",
doi = "10.1007/978-3-642-21070-9_20",
language = "English",
isbn = "9783642210693",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "264--279",
editor = "{de Swart}, Harrie",
booktitle = "Relational and Algebraic Methods in Computer Science",
address = "United States",
note = "12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011 ; Conference date: 30-05-2011 Through 03-06-2011",
}