Algebraic Theory for True Concurrency
Academic Press Inc (Verlag)
978-0-443-18912-8 (ISBN)
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.
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.
1. Introduction 2. Semantics and Logic for True Concurrency 3. A Calculus for True Concurrency 4. Algebraic Laws for True Concurrency 5. A Calculus for Truly Concurrent Mobile Processes 6. Guards 7. Timing
Erscheinungsdatum | 13.01.2023 |
---|---|
Verlagsort | San Diego |
Sprache | englisch |
Maße | 191 x 235 mm |
Gewicht | 480 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik | |
ISBN-10 | 0-443-18912-9 / 0443189129 |
ISBN-13 | 978-0-443-18912-8 / 9780443189128 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich