作者: Ana Cavalli

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL ’97 may have the first participant younger than SDL itself. SDL ’97 provides the opportunity …

IWPTS’95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS’95 is the eighth …

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aim …

This book constitutes the thoroughly refereed joint post proceedings of two international workshops, the 5th International Workshop on Data Privacy Management, DPM 2010, and the 3rd International Wor …