为你推荐
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 Processes
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 Localities
6.6 Application of Hybrid APTC with Localities in Modeling Distributed/Federated Neural Networks
Bibliography
买过这本书的人还买过
读了这本书的人还在读
同类图书排行榜
购物车
个人中心
6.8
