Title: A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
First published: 1992
Subjects: Asynchronous communication, Fault tolerance