This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectur

The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and i

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems