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. © Springer-Verlag 2013.
CITATION STYLE
McIver, A., Rabehaja, T., & Struth, G. (2013). An event structure model for probabilistic concurrent Kleene algebra. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8312 LNCS, pp. 653–667). https://doi.org/10.1007/978-3-642-45221-5_43
Mendeley helps you to discover research relevant for your work.