Authors: J.Strother Moore

Citation: J.strother Moore, A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 60-91