Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
From MaRDI portal
Publication:5410682
DOI10.1007/978-3-642-54830-7_22zbMath1405.68218OpenAlexW60875600MaRDI QIDQ5410682
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
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