Non-expansive epsilon-bisimulations for probabilistic processes

Simone Tini. Non-expansive epsilon-bisimulations for probabilistic processes. Theoretical Computer Science, 411(22-24):2202-2222, 2010. [doi]

Abstract

Abstract is missing.