Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus

From MaRDI portal
Publication:5410682