Verifying distributed systems: the operational approach.

Tom Ridge

Browse the full POPL paper archive.