Composition of Stochastic Transition Systems Based on Spans and Couplings.

Daniel Gburek, Christel Baier, Sascha Klppelholz

Browse the full ICALP paper archive.