An Experience in Transport Protocol Specification Using an Algorithmic Programming Language

Richard W. Watson. An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. In Carl A. Sunshine, editor, Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. pages 237-247, North-Holland, 1982.

Authors

Richard W. Watson

This author has not been identified. Look up 'Richard W. Watson' in Google