Operational semantics of probabilistic Kleene algebra with tests.

Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu

Browse the full ISCC paper archive.