Correctness of Communications Protocols, A case Study
| dc.contributor.author | Søgaard-Andersen, Jørgen | en_US |
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.contributor.author | Lampson, Butler W. | en_US |
| dc.date.accessioned | 2023-03-29T15:21:04Z | |
| dc.date.available | 2023-03-29T15:21:04Z | |
| dc.date.issued | 1993-11 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149754 | |
| dc.description.abstract | 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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-589 | |
| dc.title | Correctness of Communications Protocols, A case Study | en_US |
