Title: A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
Subjects: Message processing, Telecommunication