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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.