Formal methods for communication protocol specification and verification
By: Carl A. Sunshine.
Contributors: Rand Corporation.; United States. National Bureau of Standards.; United States. Defense Advanced Research Projects Agency
Series: Rand Corporation. Rand note ; N-1429-ARPA/NBS
Publisher: Rand
Published: 1979
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 93
Subjects: Computer networks.
Notes: "Prepared for the Defense Advanced Research Projects Agency and the National Bureau of Standards."

Includes index.

Bibliography: p. 48-61.