Protocol specification, testing and verification XIV : proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, Canada, August 1994i - Vuong, Son T.; Chanson, Samuel T. (Chapman & Hall, 1995)