Carl A. Sunshine. Formal Modeling of Communication Protocols - State of the Art. In Sigram Schindler, Jürgen C. W. Schröder, editors, Kommunikation in Verteilten Systemen - Fachtagung der GI, Berlin, 27.-30. Januar 1981, Proceedings. Volume 40 of Informatik-Fachberichte, pages 406-428, Springer, 1981.
Abstract is missing.