The demonic product of probabilistic relations (2002)

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