Such a protocol contains a detailed description of how to act and, equally important, of how to react in a communication session with one or more other computers. This thesis is about communication protocols.
Process algebra is a new part of computer science.
For about fifteen years the behaviour of systems is being studied within this particular mathematical framework. Furthermore, like in ordinary algebra, the elements of these equations can be subject to symbolic manipulations. This thesis is about the specification of communication protocols in terms of process algebra equations. A modular approach is obvious when large problems have to be solved. This thesis is about a modular approach to algebraic protocol specification.