ISBN : 9780443215155
Author : Yong Wang
Publisher : Morgan Kaufmann
Year : 2023
Language : English
Type : Book
Description : Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns.