Algebraic verification of probabilistic and concurrent systems
This thesis provides an algebraic modelling and verification of probabilistic concurrent systems in the style of Kleene algebra. Without concurrency, it is shown that the equational theory of continuous probabilistic Kleene algebra is complete with respect to an automata model under standard simulat...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Sheffield
2014
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.631452 |