德尼古拉，罗科；丹尼尔·戈拉；汉森、雷内·里多夫；弗莱明·尼尔森；尼尔森、汉内·里斯；克里斯蒂安·普罗布斯特。；罗萨里奥Pugliese 从流逻辑到协调语言的静态类型系统。 （英语） Zbl 1192.68126号 科学。计算。程序。 75，第6期，376-397（2010）.MSC公司：68甲15 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人，科学。计算。程序。75，第6号，376--397（2010；Zbl 1192.68126） 全文： 内政部
尼尔森、汉内·里斯；弗莱明·尼尔森 CCS的单调框架。 （英语） Zbl 1387.68172号 计算。语言系统。结构。 35，第4期，365-394（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森，计算。语言系统。结构。35，第4号，365-394（2009；Zbl 1387.68172） 全文： 内政部
亨利克·皮利加德；弗莱明·尼尔森；尼尔森、汉内·里斯 BioAmbients的路径分析。 （英语） Zbl 1147.92002号 J.日志。阿尔盖布。程序。 77，编号1-2，92-130（2008）.MSC公司：92B05型 2010年第68季度 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人，J.Log。阿尔盖布。程序。77，编号1--2，92-130（2008；Zbl 1147.92002） 全文： 内政部
亨利克·皮利加德；弗莱明·尼尔森；尼尔森、汉内·里斯 反应语义的主动评估上下文。 （英语） Zbl 1277.68127号 van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，57-70（2007）。MSC公司：第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人，《电子》。注释Theor。计算。科学。175，第1号，57--70（2007；Zbl 1277.68127） 全文： 内政部
弗莱明·尼尔森；尼尔森、汉内·里斯；亨利克·皮利加德 进程代数中的自由名称是什么？ （英语） Zbl 1184.68346号 信息处理。莱特。 103，第5期，188-194（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人，《Inf.过程》。莱特。103，第5号，188--194（2007；Zbl 1184.68346） 全文： 内政部
弗莱明·尼尔森；尼尔森、汉内·里斯；汉森、雷内·里多夫 使用流逻辑验证防火墙。 （英语） Zbl 1016.68003号 西奥。计算。科学。 283，编号2381-418（2002）.MSC公司：68M10个 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}等人，Theor。计算。科学。283，No.2，381--418（2002；Zbl 1016.68003） 全文： 内政部
博迪，恰拉；迪加诺，皮尔保罗；弗莱明·尼尔森；尼尔森、汉内·里斯 带安全应用程序的\（\pi\）演算的静态分析。 （英语） Zbl 1007.68118号 Inf.计算。 168，第1号，68-92（2001）.MSC公司：60年第68季度 68第25页 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Inf.计算。168，第1号，68--92（2001；Zbl 1007.68118） 全文： 内政部 链接
弗莱明·尼尔森；尼尔森、汉内·里斯 从CML到它的进程代数。 （英语） Zbl 0873.68131号 西奥。计算。科学。 155，第1号，179-219（1996）.MSC公司：第68季度55 68甲15 2010年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Nielson｝和\textit｛H.R.Nielson｝，Theor。计算。科学。155，No.1，179--219（1996；Zbl 0873.68131） 全文： 内政部