Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems.

Joost-Pieter Katoen, Doron A. Peled

Browse the full ESOP paper archive.