 |
|
|
|
| Papers |
|
Papers (co-)authored by Matteo Mio
| [1] |
Matteo Mio and Alex Simpson.
A Proof System for Compositional Verification of Probabilistic
Concurrent Processes.
In Frank Pfenning, editor, FoSSaCS, page 15, Rome, Italy,
March 2013. [ bib | http ] |
| [2] |
Matteo Mio.
Probabilistic modal μ-calculus with independent product.
Logical Methods in Computer Science, 8(4), November 2012. [ bib | http ] |
| [3] |
Matteo Mio.
On the equivalence of game and denotational semantics for the
probabilistic μ-calculus.
Logical Methods in Computer Science, 8(2), June 2012. [ bib | http ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi