Limited Offer
Truly Concurrent Process Algebra With Localities
- 1st Edition - August 20, 2024
- Author: Yong Wang
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 3 - 3 3 0 6 8 - 1
- eBook ISBN:9 7 8 - 0 - 4 4 3 - 3 3 0 6 9 - 8
Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concur… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteTruly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity.
This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.
This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.
- Introduces algebraic properties and laws for localities, one of the important concepts of software engineering for concurrent computing systems
- Discusses algebraic theory for static localities and dynamic localities, including the basis of semantics, calculi, and axiomatization
- Presents all aspects of localities in truly concurrent process algebras, including Calculus for True Concurrency (CTC), Algebra of Parallelism for True Concurrency (APTC), and Process Calculus for True Concurrency (Π)
Software engineers, programmers, and Computer Science researchers in academia and industry working in the field of concurrent and parallel computing
- Cover image
- Title page
- Table of Contents
- Copyright
- Chapter 1: Introduction
- Abstract
- References
- Chapter 2: Background
- Abstract
- 2.1. Operational semantics
- 2.2. Proof techniques
- 2.3. CTC
- 2.4. APTC
- 2.5. πtc
- References
- Chapter 3: Location-related bisimulation semantics for true concurrency
- Abstract
- 3.1. Static location bisimulations
- 3.2. Dynamic location bisimulations
- Chapter 4: CTC with localities
- Abstract
- 4.1. CTC with static localities
- 4.2. CTC with dynamic localities
- Chapter 5: APTC with localities
- Abstract
- 5.1. APTC with static localities
- 5.2. APTC with dynamic localities
- References
- Chapter 6: πtc with localities
- Abstract
- 6.1. Operational semantics
- 6.2. πtc with static localities
- 6.3. πtc with dynamic localities
- Chapter 7: Probabilistic location-related bisimulation semantics for true concurrency
- Abstract
- 7.1. Probabilistic static location bisimulations
- 7.2. Probabilistic dynamic location bisimulations
- Chapter 8: CTC with localities and probability
- Abstract
- 8.1. CTC with probabilistic static localities
- 8.2. CTC with probabilistic dynamic localities
- Chapter 9: APTC with localities and probability
- Abstract
- 9.1. APTC with probabilistic static localities
- 9.2. APTC with probabilistic dynamic localities
- References
- Chapter 10: πtc with localities and probability
- Abstract
- 10.1. Operational semantics
- 10.2. πtc with probabilistic static localities
- 10.3. πtc with probabilistic dynamic localities
- Chapter 11: Reversible location-related bisimulation semantics for true concurrency
- Abstract
- 11.1. Reversible static location bisimulations
- 11.2. Reversible dynamic location bisimulations
- Chapter 12: Reversible CTC with localities
- Abstract
- 12.1. Reversible CTC with static localities
- 12.2. Reversible CTC with dynamic localities
- Chapter 13: Reversible APTC with localities
- Abstract
- 13.1. Reversible APTC with static localities
- 13.2. Reversible APTC with dynamic localities
- References
- Chapter 14: Reversible πtc with localities
- Abstract
- 14.1. Operational semantics
- 14.2. Reversible πtc with static localities
- 14.3. Reversible πtc with dynamic localities
- Chapter 15: Location-related bisimulation semantics for true concurrency
- Abstract
- 15.1. Static location bisimulations
- 15.2. Dynamic location bisimulations
- Chapter 16: CTC with localities and guards
- Abstract
- 16.1. CTC with static localities and guards
- 16.2. CTC with dynamic localities and guards
- Chapter 17: APTC with localities and guards
- Abstract
- 17.1. APTC with static localities and guards
- 17.2. APTC with dynamic localities and guards
- References
- Chapter 18: πtc with localities and guards
- Abstract
- 18.1. Operational semantics
- 18.2. πtc with static localities and guards
- 18.3. πtc with dynamic localities and guards
- References
- References
- Index
- No. of pages: 500
- Language: English
- Edition: 1
- Published: August 20, 2024
- Imprint: Morgan Kaufmann
- Paperback ISBN: 9780443330681
- eBook ISBN: 9780443330698
YW
Yong Wang
Dr. Yong Wang is an Associate Professor of Computer Science and Technology, Faculty of Information, at Beijing University of Technology. He holds a PhD in Computer Science from Beihang University, China. He has more than 20 years of research and teaching experience in parallel and distributed computing. Dr. Wang’s research interests include Theory of Parallel Computing, including algebraic theory for true concurrency and its extensions and applications, algebraic theory for reversible computing, and quantum process algebra and its application in quantum communication protocol. Dr. Wang’s other research interests include SOA, grid computing, cloud computing, and big data. Dr. Wang has published more than 120 research papers in leading Computer Science journals, including Wiley-Blackwell International Journal of Communication Systems, Springer International Journal of Theoretical Physics, and IEEE Transactions on Network and Service Management.
Affiliations and expertise
Associate Professor of Computer Science and Technology, Faculty of Information, Beijing University of Technology, China