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

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification

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

Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and d