"Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus."

Matteo Mio (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics