Reasoning about Probabilistic Lossy Channel Systems.

Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson

Browse the full CONCUR paper archive.