Structuring and Verifying Distributed Algorithms

Kaisa Sere, Marina A. Waldén. Structuring and Verifying Distributed Algorithms. Nord. J. Comput., 8(2):193-218, 2001. [doi]

Abstract

Abstract is missing.