An Event Structure Model for Probabilistic Concurrent Kleene Algebra
An Event Structure Model for Probabilistic Concurrent Kleene Algebra
复制标题
概率并发克林代数的事件结构模型
DOI：
10.1007/978-3-642-45221-5_43
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
G. Struth
中科院分区：
文献类型：
--
作者：
Annabelle McIver;T. Rabehaja;G. Struth
给出了概率并发Kleene代数的一个新的真并发模型。该模型基于概率事件结构，结合了Katoen的概率并发工作和Varacca的概率主事件结构的思想。的事件结构进行了比较，与一个真正的并发版本的Segala的概率模拟。最后，该模型的代数属性进行了总结的程度，他们可以用来推导技术，如概率依赖/保证推理规则。
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.