Author:Matteo Mio

Publications
A Proof System for Reasoning about Probabilistic Concurrent Processes Matteo Mio In:PSPL 2010. International Workshop on Proof Systems for Program Logics