A Proof System for Compositional Verification of Probabilistic Concurrent Processes.

Matteo Mio, Alex Simpson

Browse the full FOSSACS paper archive.