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]

Authors

Simone Tini

This author has not been identified. Look up 'Simone Tini' in Google