Matteo Mio. A Proof System for Reasoning about Probabilistic Concurrent Processes. In Alex Simpson, editor, International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. Volume 12 of EPiC Series, pages 8-11, EasyChair, 2010. [doi]
Abstract is missing.