Travelled to:1 × France
1 × Germany
1 × Italy
1 × Japan
Collaborated with:∅ H.Michalewski A.Simpson
Talks about:probabilist (2) calculus (2) łukasiewicz (1) bisimilar (1) quantifi (1) independ (1) composit (1) categori (1) product (1) process (1)
Person: Matteo Mio
DBLP: Mio:Matteo
Contributed to:
2015
201420132011Wrote 4 papers:
- ICALP-v2-2015-MichalewskiM #higher-order #logic #monad #quantifier
- Baire Category Quantifier in Monadic Second Order Logic (HM, MM), pp. 362–374.
- FoSSaCS-2014-Mio #calculus #similarity #μ-calculus
- Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus (MM), pp. 335–350.
- FoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
- FoSSaCS-2011-Mio #calculus #independence #probability #μ-calculus
- Probabilistic Modal μ-Calculus with Independent Product (MM), pp. 290–304.