Liveness Properties as Convergence in Metric Spaces

Pierpaolo Degano, Ugo Montanari. Liveness Properties as Convergence in Metric Spaces. In Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA. pages 31-38, ACM, 1984.

Authors

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google