The category of Markov kernels (1999)

by Prakash Panangaden
Venue:PROBMIV’98: First International Workshop on Probabilistic Methods in Verification