Modal Decomposition on Nondeterministic Probabilistic Processes.

Valentina Castiglioni, Daniel Gebler, Simone Tini

Browse the full CONCUR paper archive.