Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus.

Matteo Mio

Browse the full FOSSACS paper archive.