Probabilistic Modal μ-Calculus with Independent Product

DOI10.1007/978-3-642-19805-2_20zbMath1326.68202arXiv1211.1511OpenAlexW1932846340MaRDI QIDQ3000616

Matteo Mio

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.1511

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Model Checking Probabilistic Systems ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Unnamed Item ⋮ Compositionality for quantitative specifications

This page was built for publication: Probabilistic Modal μ-Calculus with Independent Product