文件名称: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
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
...................................\1. Experimenting on nondeterministic machines.pdf
...................................\10. Determinancy and confluence.pdf
...................................\11. Conclusion.pdf
...................................\2. Synchronization.pdf
...................................\3. A case study in synchronization and proof techniques.pdf
...................................\4. Case studies in value-communication.pdf
...................................\5. Syntax and semantics of CCS.pdf
...................................\6. Communication trees (CTs) as a model of CCS.pdf
...................................\7. Observation equivalence and its properties.pdf
...................................\8. Some proofs about data structures.pdf
...................................\9. Translation into CCS.pdf
...................................\Back Matter.pdf
...................................\front-matter.pdf
...................................\0. Introduction.pdf
...................................\1. Experimenting on nondeterministic machines.pdf
...................................\10. Determinancy and confluence.pdf
...................................\11. Conclusion.pdf
...................................\2. Synchronization.pdf
...................................\3. A case study in synchronization and proof techniques.pdf
...................................\4. Case studies in value-communication.pdf
...................................\5. Syntax and semantics of CCS.pdf
...................................\6. Communication trees (CTs) as a model of CCS.pdf
...................................\7. Observation equivalence and its properties.pdf
...................................\8. Some proofs about data structures.pdf
...................................\9. Translation into CCS.pdf
...................................\Back Matter.pdf
...................................\front-matter.pdf