BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mio:Matteo

Contributed to:

ICALP (2) 20152015
FoSSaCS 20142014
FOSSACS 20132013
FOSSACS 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.