A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

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
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
1
Year of publication
1994
Pages
60 - 91
Database
ACNP
SICI code