Modelling flow control in Estelle

Richard L. Tenney. Modelling flow control in Estelle. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 33-44, North-Holland, 1990.

Abstract

Abstract is missing.