4:00 - 5:00 Prakash Panangaden (McGill)
The dual view of Markov Processes II
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.