发表于2025-01-29
Process Algebra 2025 pdf epub mobi 电子书
图书标签: concurrency
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
Process Algebra 2025 pdf epub mobi 电子书