1
Published 2002
Springer US
Table of Contents: ... and Death -- Phantom Types and Subtyping -- On the Weakest Failure Detector for Non-Blocking Atomic Commit...