Bicategories of Markov Processes. - Florence Clerc; Harrison Humphrey; Prakash Panangaden (Models, Algorithms, Logics and Tools, 2017)