On Probabilistic Kleene Algebras, Automata and Simulations

DOI10.1007/978-3-642-21070-9_20zbMath1329.68176OpenAlexW2279956957MaRDI QIDQ3007582

Tahiry Rabehaja, Georg Struth, Annabelle McIver

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_20

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Other algebras related to logic (03G25)

This page was built for publication: On Probabilistic Kleene Algebras, Automata and Simulations