Marina Waldén

Kaisa Sere and Marina Waldén. Structuring and Verifying Distributed Algorithms. Nordic Journal of Computing, 8(2):193-218, Summer 2001. Abstract, References, etc.