An Event Structure Model for Probabilistic Concurrent Kleene Algebra

Autor:	McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg
Rok vydání:	2013
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines ideas from Katoen's work on probabilistic concurrency and Varacca's probabilistic prime event structures. The event structures are compared with a true-concurrent version of Segala's probabilistic simulation. Finally, the algebraic properties of the model are summarised to the extent that they can be used to derive techniques such as probabilistic rely/guarantee inference rules. Comment: Submitted and accepted for LPAR19 (2013)
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1310.2320 Zobrazit plný text záznamu View this record from Arxiv