剧情简介：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 mathematic...(展开全部)
作者：C·a·R·Hoare
出版社：Prentice Hall
ISBN：9780131532717
