Protocol specification, testing and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification : Ottawa, Ontario, Canada, 12-15 June, 1990 - Logrippo, Luigi; Probert, Robert L; Ural, Hasan (North-Holland, 1990)