Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties

A. Udaya Shankar, Simon S. Lam. Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. Distributed Computing, 2(2):61-79, 1987.

Abstract

Abstract is missing.