SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators.

Daniel Gebler, Simone Tini

Browse the full CONCUR paper archive.