Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

Rui Qiao, Jinzhao Wu, Xinyan Gao

Browse the full ICNC paper archive.