A Constructive Approach to the Design of Distributed Systems.

Jeff Kramer, Jeff Magee, Anthony Finkelstein

Browse the full ICDCS paper archive.