An event structure model for probabilistic concurrent Kleene algebra

Annabelle McIver, Tahiry Rabehaja, Georg Struth

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

4 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings
EditorsKen McMillan, Aart Middeldorp, Andrei Voronkov
Place of PublicationHeidelberg
PublisherSpringer, Springer Nature
Pages653-667
Number of pages15
Volume8312
ISBN (Print)9783642452208
DOIs
Publication statusPublished - 2013
Event19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 - Stellenbosch, South Africa
Duration: 14 Dec 201319 Dec 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8312 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013
Country/TerritorySouth Africa
CityStellenbosch
Period14/12/1319/12/13

Fingerprint

Dive into the research topics of 'An event structure model for probabilistic concurrent Kleene algebra'. Together they form a unique fingerprint.

Cite this