The converse of a probabilistic relation (0)

by E-E Doberkat
Venue:Proc. Foundations of Software Science and Computation Structures’03