Communication support for reliable distributed computing - Birman, Kenneth P.; Joseph, Thomas A. (1986)