Logical characterization of probabilistic bisimulation
|
Wed, 10/11/2010 00:00 |
Prakash Panangaden (McGill and Oxford) |
Analytic Topology in Mathematics and Computer Science  |
L3 |
|
Wed, 10/11/2010 00:00 |
Prakash Panangaden (McGill and Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |