Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence

Mike Stannett. Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Asp. Comput., 6(6):696-715, 1994.

Abstract

Abstract is missing.