formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
By: prepared for Langley Research Center.
Contributors: Langley Research Center
Publisher: Langley Research Center
Published: 1992
Place of publication: Hampton, Va
Number of pages: 50
Subjects: Asynchronous communication; Fault tolerance
Notes: Includes bibliographical references: p. 49-50.