A Proof System for Reasoning about Probabilistic Concurrent Processes - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

A Proof System for Compositional Verification of Probabilistic Concurrent ProcessesMatteo Mio, Alex Simpson. fossacs 2013: 161-176 [doi]

runs on WebDSL