1. Formal specification of a file transfer protocol.;Aggarwal;Proc. IEEE INFOCOM.,1986
2. A calculus for protocol specification and validation.;Aggarwal;Proc. IFIP Int. Workshop on Protocol Specification, Testing, and Verification, 3rd.,1983
3. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese postman tours.;Aho;Proc. IFIP Int. Workshop on Protocol Specification, Testing, and Verification, 8th.,1988
4. Formal specification of ISO virtual terminal in Estelle.;Amer;Proc. IEEE INFOCOM.,1988
5. Expansion of transitions in Estelle formal specifications.;Amer;Proc. IFIP Int. Workshop on Protocol Specification, Testing, and Verification, 8th.,1988