Formal methods for communication protocol specification and verification - Sunshine, Carl A.; United States. Defense Advanced Research Projects Agency; Rand Corporation; United States. National Bureau of Standards (California : Rand Corporation, 1979)
Includes bibliographical references (p.48-61) and index
Keywords: Computer networks