图书标签: concurrency
发表于2024-11-03
Process Algebra pdf epub mobi txt 电子书 下载 2024
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 pdf epub mobi txt 电子书 下载 2024