图书标签: CSP 计算机 Concurrency 计算机科学 并行编程理论 Formal_Methods CS-Theory 编程语言
发表于2024-11-08
Communicating Sequential Processes pdf epub mobi txt 电子书 下载 2024
Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International; it is an excellent introduction to the language, and also to the mathematical theory.
Tony Hoare, Turing Award winner
Tony Hoare的书,和Milner的CCS一样,堪称经典
评分Tony Hoare的书,和Milner的CCS一样,堪称经典
评分Tony Hoare的书,和Milner的CCS一样,堪称经典
评分又一个Turing Award Winner的著作--CSP。而且内容比我想象的平易近人,而且透出一股朴素的哲学气息。
评分Tony Hoare的书,和Milner的CCS一样,堪称经典
评分
评分
评分
评分
Communicating Sequential Processes pdf epub mobi txt 电子书 下载 2024