A reliable and effective computer network can only be
achieved by adopting efficient and error-free communication protocols.
Therefore, the protocol designer should produce an unambiguous
specification meeting these requirements. Techniques for
producing protocol specifications have been the subject of intense
interest over the last few years. This is partly due to the
advent of an international standard for networking. A variety of
methods have been employed, some of which are described in detail
in this thesis. [Continues.