Download PDFOpen PDF in browserA Proof System for Reasoning about Probabilistic Concurrent Processes4 pages•Published: March 24, 2013AbstractA Proof System for Reasoning about Probabilistic Concurrent ProcessesKeyphrases: mu calculus, probabilistic concurrent processes In: Alex Simpson (editor). PSPL 2010. International Workshop on Proof Systems for Program Logics, vol 12, pages 8-11.
|