您现在的位置是:源码地带 > 资源下载

* Explains process algebra and protocol specification using &#181 CRL, a language developed to combi

资 源 简 介

* 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

相 关 资 源