* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types

* Text is supported throughout with examples and exercises

* Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website