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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.