Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.

Ching-Tsun Chou, Eli Gafni

Browse the full PODC paper archive.