J. Strother Moore. A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. Formal Asp. Comput., 6(1):60-91, 1994. [doi]
No references recorded for this publication.
No citations of this publication recorded.