Matteo Mio
PhD, CNRS Researcher



My DBLP entry: DBLP.

List of peer-reviewed published papers:
PhD thesis: Game Semantics for Probabilistic mu-Calculi, University of Edinburgh, 2012.