✦ LIBER ✦

Reasoning about efficiency within a probabilistic μ-calculus

✍ Scribed by A.K. McIver

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Incidence calculus: A mechanism for prob

✍ Alan Bundy 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 997 KB

Reasoning about probabilistic sequential

✍ M. Ying 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 450 KB

A qualitative effect calculus for reason

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 158 KB