Two probabilistic models of lazy Kleene algebra
Norihiro Tsumagari

We talk about two probabilistic example of lazy Kleene algebra introduced by Bernhard Möller.
Previously, McIver and Weber gave a probabilistic model of lazy Kleene algebra for verification 
of probabilistic distributed systems. Their model contains complicated conditions. We study 
about the generalised and simpler examples than their model.