Introduction to Process Algebra
Wan Fokkink is a Full Professor of Model-Based System Engineering at the University of Amsterdam. Supervisory control synthesis, distributed algorithms, safety-critical software, protocol verification, and process algebra are among his expertise. Wan's research focuses on the analysis and design of distributed systems in general, which includes everything from automatically synthesizing control software to formal verification of communication protocols and executable biological system models.
Manipulation of so-called labeled transition systems using automated and semi-automatic methods has become a significant tool for finding weaknesses in software and hardware systems. Process algebra was created to express such labeled transition systems algebraically, allowing for more manipulation options using equational logic and term rewriting.
Over the last two decades, the theory of process algebra has advanced fast, and verification tools based on process algebra have been developed, frequently in conjunction with approaches related to model checking. Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) provides a thorough overview of the fundamentals of process algebra and its applications.
Some reviews about this book: “This is a delightful new presentation of Process Algebra, which was much needed since the classic text by Baeten and Weijland is getting outdated. In comparison, I find Fokkink's text easier to digest, more precise, and goes significantly further. Indeed, it should be for a theory that has evolved rapidly in the last decade.”
Author: Wan Fokkink
Link to buy: https://www.amazon.com/-/es/Wan-Fokkink-ebook/dp/B001CXAHP2/ref=sr_1_1?
