文件名称:A_Calculus_of_Communicating_Systems
介绍说明--下载内容来自于网络,使用问题请自行百度
A book introducing A Calculus of Communicating Systems. It s extremely useful for those study parellel computing.
相关搜索: A calculus of communicating syste
a calculus of communicating systems
Calculus of Communicating Systems
A Calculus of Communicating System
calculus of communicating
(系统自动生成,下载前可以参看下载内容)
下载文件列表
A Calculus of Communicating Systems/0. Introduction.pdf
A Calculus of Communicating Systems/1. Experimenting on nondeterministic machines.pdf
A Calculus of Communicating Systems/10. Determinancy and confluence.pdf
A Calculus of Communicating Systems/11. Conclusion.pdf
A Calculus of Communicating Systems/2. Synchronization.pdf
A Calculus of Communicating Systems/3. A case study in synchronization and proof techniques.pdf
A Calculus of Communicating Systems/4. Case studies in value-communication.pdf
A Calculus of Communicating Systems/5. Syntax and semantics of CCS.pdf
A Calculus of Communicating Systems/6. Communication trees (CTs) as a model of CCS.pdf
A Calculus of Communicating Systems/7. Observation equivalence and its properties.pdf
A Calculus of Communicating Systems/8. Some proofs about data structures.pdf
A Calculus of Communicating Systems/9. Translation into CCS.pdf
A Calculus of Communicating Systems/Back Matter.pdf
A Calculus of Communicating Systems/front-matter.pdf
A Calculus of Communicating Systems
A Calculus of Communicating Systems/1. Experimenting on nondeterministic machines.pdf
A Calculus of Communicating Systems/10. Determinancy and confluence.pdf
A Calculus of Communicating Systems/11. Conclusion.pdf
A Calculus of Communicating Systems/2. Synchronization.pdf
A Calculus of Communicating Systems/3. A case study in synchronization and proof techniques.pdf
A Calculus of Communicating Systems/4. Case studies in value-communication.pdf
A Calculus of Communicating Systems/5. Syntax and semantics of CCS.pdf
A Calculus of Communicating Systems/6. Communication trees (CTs) as a model of CCS.pdf
A Calculus of Communicating Systems/7. Observation equivalence and its properties.pdf
A Calculus of Communicating Systems/8. Some proofs about data structures.pdf
A Calculus of Communicating Systems/9. Translation into CCS.pdf
A Calculus of Communicating Systems/Back Matter.pdf
A Calculus of Communicating Systems/front-matter.pdf
A Calculus of Communicating Systems
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.