尼尔森、汉内·里斯;弗莱明·尼尔森;亨利克·皮利加德 流程计算的流程逻辑。 (英语) Zbl 1293.68192号 ACM计算。Surv公司。 44,第1号,第3号论文,39页(2012).理学硕士:60年第68季度 03B70号 68号30 68问题85 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}等人,ACM计算。Surv公司。44,第1号,第3号论文,39页(2012;Zbl 1293.68192) 全文: DOI程序
弗莱明·尼尔森;塞巴斯蒂安·南兹;尼尔森、汉内·里斯 并发行为的模式抽象。 (英语) Zbl 1351.68185号 ACM事务处理。计算。日志。 第12号第3条第18条第40页(2011年).理学硕士:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,ACM Trans。计算。日志。12,第3号,第18条,40页(2011年;Zbl 1351.68185) 全文: DOI程序
尼尔森、汉内·里斯;弗莱明·尼尔森 CCS的单调框架。 (英语) 兹伯利1387.68172 计算。语言系统。结构。 35,第4期,365-394(2009).理学硕士:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,计算。语言系统。结构。35,第4号,365-394(2009;Zbl 1387.68172) 全文: DOI程序