Correctness of Communications Protocols, A case Study
Author(s)
Søgaard-Andersen, Jørgen; Lynch, Nancy A.; Lampson, Butler W.![Thumbnail](/bitstream/handle/1721.1/149754/MIT-LCS-TR-589.pdf.jpg?sequence=3&isAllowed=y)
DownloadMIT-LCS-TR-589.pdf (29.25Mb)
Metadata
Show full item recordAbstract
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.
Date issued
1993-11Series/Report no.
MIT-LCS-TR-589