The theme of this book is handled by a special paper in the following areas: + Formal Methods in Software Development, Process Algebra +, + Duration Automata, Theory and Application Verification +, + Distributed System Testing, + Test Sequence decline. Formal Techniques for Network and Distributed Systems will be essential reading for researchers and engineers working in communications, test equipment R & D, and telecommunications, as well as for developers of software engineering tools.