Wed, 10 Nov 2010 00:00 L3 Logical characterization of probabilistic bisimulation Prakash Panangaden (McGill and Oxford)