### Abstract

Language | English |
---|---|

Pages | 97-115 |

Number of pages | 19 |

Journal | Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems : Rome, 23rd-24th March 2013 |

DOIs | |

Publication status | Published - 2013 |

Event | International Workshop on Quantitative Aspects of Programming Languages and Systems (11th : 2013) - Rome Duration: 23 Mar 2013 → 24 Mar 2013 |

### Fingerprint

### Cite this

}

**Probabilistic concurrent Kleene algebra.** / McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg.

Research output: Contribution to journal › Conference paper › Research › peer-review

TY - JOUR

T1 - Probabilistic concurrent Kleene algebra

AU - McIver, Annabelle

AU - Rabehaja, Tahiry

AU - Struth, Georg

PY - 2013

Y1 - 2013

N2 - We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata modulo probabilistic simulation. We use the resulting algebra to generalise the algebraic formulation of a variant of Jones' rely/guarantee calculus.

AB - We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata modulo probabilistic simulation. We use the resulting algebra to generalise the algebraic formulation of a variant of Jones' rely/guarantee calculus.

U2 - 10.4204/EPTCS.117.7

DO - 10.4204/EPTCS.117.7

M3 - Conference paper

SP - 97

EP - 115

JO - Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems : Rome, 23rd-24th March 2013

T2 - Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems : Rome, 23rd-24th March 2013

JF - Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems : Rome, 23rd-24th March 2013

SN - 2075-2180

ER -