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]
@inproceedings{Mio10,
title = {A Proof System for Reasoning about Probabilistic Concurrent Processes},
author = {Matteo Mio},
year = {2010},
url = {http://www.easychair.org/publications/?page=158638465},
researchr = {https://researchr.org/publication/Mio10},
cites = {0},
citedby = {0},
pages = {8-11},
booktitle = {International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010},
editor = {Alex Simpson},
volume = {12},
series = {EPiC Series},
publisher = {EasyChair},
}