Algebraic Theory for True Concurrency
- 1st Edition - January 3, 2023
- Author: Yong Wang
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 3 - 1 8 9 1 2 - 8
- eBook ISBN:9 7 8 - 0 - 4 4 3 - 1 8 9 1 3 - 5
Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteAlgebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored.
This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.
- Introduces algebraic properties and laws for true concurrency, one of the foundational concepts of computer science
- Presents all aspects of algebraic true concurrency, including the basis of semantics, calculi for true concurrency and for axiomatization
- Integrates all aspects of algebraic theory for true concurrency, along with extensions and applications
- Cover image
- Title page
- Table of Contents
- Copyright
- Dedication
- 1: Introduction
- Abstract
- References
- 2: Backgrounds
- Abstract
- 2.1. Process algebra
- 2.2. Operational semantics
- 2.3. Proof techniques
- 2.4. True concurrency
- References
- 3: A calculus for true concurrency
- Abstract
- 3.1. Syntax and operational semantics
- 3.2. Strongly truly concurrent bisimulations
- 3.3. Weakly truly concurrent bisimulations
- 3.4. Applications
- 3.5. Conclusions
- References
- 4: Algebraic laws for true concurrency
- Abstract
- 4.1. Basic algebra for true concurrency
- 4.2. Algebra for parallelism in true concurrency
- 4.3. Recursion
- 4.4. Abstraction
- 4.5. Applications
- 4.6. Extensions
- 4.7. Axiomatization for hhp-bisimilarity
- 4.8. Conclusions
- References
- 5: Mobility
- Abstract
- 5.1. Syntax and operational semantics
- 5.2. Strongly truly concurrent bisimilarities
- 5.3. Algebraic theory
- 5.4. Conclusions
- References
- 6: Guards
- Abstract
- 6.1. Operational semantics
- 6.2. BATC with guards
- 6.3. APTC with guards
- 6.4. Recursion
- 6.5. Abstraction
- 6.6. Hoare logic for APTCG
- 6.7. Conclusions
- References
- References
- References
- Index
- No. of pages: 228
- Language: English
- Edition: 1
- Published: January 3, 2023
- Imprint: Academic Press
- Paperback ISBN: 9780443189128
- eBook ISBN: 9780443189135
YW