书籍目录
首页
分类
免费
排行
我的书架
1-32章
共32章
免费
版权信息
免费
Chapter 1 Introduction
免费
Chapter 2 Backgrounds
免费
2.1 Operational Semantics
免费
2.2 Proof Techniques
免费
2.3 Truly Concurrent Process Algebra-APTC
免费
2.4 Truly Concurrent Process Algebra with Localities
免费
Chapter 3 An Axiomatization of Discrete Event Processes
3.1 Basic Algebra for True Concurrency-BATC
3.2 Algebra for Parallelism in True Concurrency
3.3 Recursion
3.4 Silent Step and Abstraction
Chapter 4 An Axiomatization of Distributed Discrete Event Pr
4.1 BATC with Static Localities
4.2 APTC with Static Localities
4.3 Recursion with Static Localities
4.4 Silent Step and Abstraction with Static Localities
Chapter 5 Hybrid Process Algebra
5.1 Truly Concurrent Semantics
5.2 Hybrid BATC
5.3 Hybrid APTC
5.4 Recursion of Hybrid APTC
5.5 Silent Step and Abstraction of Hybrid APTC
5.6 Application of Hybrid APTC in Modeling Neural Networks
Chapter 6 Hybrid Process Algebra with Localities
6.1 Locality Semantics
6.2 Hybrid BATC with Localities
6.3 Hybrid APTC with Localities
6.4 Recursion of Hybrid APTC with Localities
6.5 Silent Step and Abstraction of Hybrid APTC with Localiti
6.6 Application of Hybrid APTC with Localities in Modeling D
Bibliography
×