@inproceedings{aa2c82ec5a594442b33b6cc21cc0406c,
title = "An event structure model for probabilistic concurrent Kleene algebra",
abstract = "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.",
author = "Annabelle McIver and Tahiry Rabehaja and Georg Struth",
year = "2013",
doi = "10.1007/978-3-642-45221-5_43",
language = "English",
isbn = "9783642452208",
volume = "8312",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "653--667",
editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings",
address = "United States",
note = "19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 ; Conference date: 14-12-2013 Through 19-12-2013",
}