Prakash Panangaden (Montréal, Canada), Markov processes as function transformers: bisimulation and approximation
Schedule
- Feb. 20, 2012, 9:00 - 10:20: Part I: Overview and Categories of Cones
- Feb. 21, 2012, 9:00 - 10:20: Part II: Functorial View of Expectation Values
- Feb. 22, 2012, 9:00 - 10:20: Part III: Bisimulation, minimal realization and approximation