@书籍{zbMATH00795666，作者={Hoare，C.A.R.}，标题={通信顺序过程。}，版本={Repr.}，ISBN＝{0-13-153289-8；0-13-153271-5}，年份={1995}，出版商={纽约，NY:Prentice Hall}，语言={英语}，关键词={68Q10,68-01,68Q65}，zbMATH={795666}，Zbl={0841.68042}}