Probabilistic Relations (1998)

by Prakash Panangaden
Venue:School of Computer Science, McGill University, Montreal