Linan Chen, Florence Clerc, Prakash Panangaden. Bisimulation for Feller-Dynkin Processes. In Barbara König 0001, editor, Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019. Volume 347 of Electronic Notes in Theoretical Computer Science, pages 45-63, Elsevier, 2019. [doi]
Abstract is missing.