A Principle for Sequential Reasoning about Distributed Algorithms

Frank A. Stomp, Willem P. de Roever. A Principle for Sequential Reasoning about Distributed Algorithms. Formal Asp. Comput., 6(6):716-737, 1994.

Abstract

Abstract is missing.