Tuesday, 29 March 2016
4:00 - 5:00   Prakash Panangaden (McGill)
The dual view of Markov Processes II

Abstract: I will describe the dual view of Markov processes as expectation value transformers. I will then define a category of "abstract" Markov processes and show how approximation and bisimulation both co-exist and are on the same footing.