Communicating Sequential Processes 在线电子书 图书标签: CSP 计算机 Concurrency 计算机科学 并行编程理论 Formal_Methods CS-Theory 编程语言
发表于2024-12-23
Communicating Sequential Processes 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
Tony Hoare的书,和Milner的CCS一样,堪称经典
评分CSP is definitely useful, but this book doesn't really explain how to use it.
评分It's more interesting than you thought! Go for it mates!
评分It's more interesting than you thought! Go for it mates!
评分CSP is definitely useful, but this book doesn't really explain how to use it.
Tony Hoare, Turing Award winner
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.
评分
评分
评分
评分
Communicating Sequential Processes 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024