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.
@inproceedings{DeganoM84, title = {Liveness Properties as Convergence in Metric Spaces}, author = {Pierpaolo Degano and Ugo Montanari}, year = {1984}, researchr = {https://researchr.org/publication/DeganoM84}, cites = {0}, citedby = {0}, pages = {31-38}, booktitle = {Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA}, publisher = {ACM}, }