Algebraic Theory for True Concurrency BY Yong Wang

Author(s): Yong Wang

Publisher: Academic Press, Year: 2023

ISBN: 0443189129,9780443189128

Size:7 MB (7295102 bytes)

Extension:pdf

"Algebraic Theory for True Concurrency" is a book authored by Yong Wang, which presents a mathematical and algebraic approach to the theory of concurrency, a field in computer science that deals with the simultaneous execution of multiple tasks or processes. The book focuses on the notion of "true concurrency," which captures the essence of concurrent systems where multiple events occur independently and concurrently without any need for synchronization.

The book covers various algebraic models and formalisms for modeling concurrent systems, such as Petri nets, process algebras, and event structures, and provides a comprehensive theoretical foundation for analyzing the behavior and properties of concurrent systems. It also presents practical applications of algebraic techniques in areas such as concurrent programming, distributed systems, and verification of concurrent systems.

Some of the topics covered in the book include the algebraic foundations of concurrency, algebraic models for concurrent systems, formal semantics and reasoning techniques for concurrent systems, and applications of algebraic theory in concurrent computing. The book is aimed at researchers, graduate students, and practitioners in the field of concurrency theory and provides a rigorous and systematic treatment of the algebraic aspects of concurrent systems.