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.
發表於2024-11-30
Process Algebra 2024 pdf epub mobi 電子書 下載
圖書標籤: concurrency
Process Algebra 2024 pdf epub mobi 電子書 下載