Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus

DOI10.1007/978-3-642-54830-7_22zbMath1405.68218OpenAlexW60875600MaRDI QIDQ5410682

Matteo Mio

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_22

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (14)

Convexity via Weak Distributive Laws ⋮ Unnamed Item ⋮ Converging from branching to linear metrics on Markov chains ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ An expansion of basic logic with fixed points ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ Termination in Convex Sets of Distributions ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Compositional weak metrics for group key update ⋮ Unnamed Item

This page was built for publication: Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus