文件名称:ModellingDistributedSystems
介绍说明－－下载内容均来自于网络，请自行研究使用
* 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
-* 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
* 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
-* 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
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Modelling Distributed Systems.pdf