Protocol Specification, Testing, and Verification, IV. Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984.