Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Author "Lampson, Butler W."

Now showing items 1-1 of 1

    • Correctness of Communications Protocols, A case Study 

      Søgaard-Andersen, Jørgen; Lynch, Nancy A.; Lampson, Butler W. (1993-11)
      During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation.