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

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst

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

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on SDL and MSC, SAM 2002, held in Aberystwyth, UK in June 200