* 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
標簽：
specification
developed
Explains
LAnguage
上傳時間：
2016-04-27
上傳用戶：笨小孩
