Title:
ModellingDistributedSystems
Download
- Category:
- E-Books
- Tags:
-
[PDF]
- File Size:
- 1.63mb
- Update:
- 2008-10-13
- Downloads:
- 0 Times
- Uploaded by:
- linhailue
Description: * the 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 TAB are available on the author s website
-* the 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 TAB are available on the author s website
To Search:
File list (Check if you may need any files):
