Verification Techniques for Distributed Algorithms.

Anna Philippou, George Michael

Browse the full OPODIS paper archive.