书籍介绍
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
目录
用户评论
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.
又一个Turing Award Winner的著作--CSP。而且内容比我想象的平易近人，而且透出一股朴素的哲学气息。
Tony Hoare的书，和Milner的CCS一样，堪称经典
Prentice Hall的其他书籍查看全部
Signal and Power Integrity - Simplified
Core Java, Volume I (10th Edition)
Fundamentals of Applied Electromagnetics
Reseau
Core Python Applications Programming
Financial Accounting Theory
收藏