尼尔森、汉内·里斯;弗莱明·尼尔森 高阶并发语言的静态和动态处理器分配。 （英语） Zbl 1496.68113号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 590-604 (1995).MSC公司：68号30 68甲15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森，莱克特。注释计算。科学。915590-604（1995年；兹bl 1496.68113） 全文： 内政部
北卡罗来纳州Mercouroff。 一种分析通信过程的算法。 （英语） Zbl 1518.68042号 Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 312-325 (1992).MSC公司：68甲19 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Mercouroff}，莱克特。注释计算。科学。598312--325（1992年；Zbl 1518.68042） 全文： 内政部
约翰·赖夫（John H.Reif）。;斯科特·斯莫尔卡。 分布式通信过程中可达性的复杂性。 （英语） 兹比尔0637.68032 学报信息。 25，第3期，333-354（1988）.MSC公司：68N25号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}和\textit{S.A.Smolka}，《学报》第25期，第3期，第333--354页（1988；Zbl 0637.68032） 全文： 内政部