纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 IMC的静态分析。 （英文） Zbl 1243.68220号 J.日志。阿尔盖布。程序。 81，第4期，522-540（2012）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}等人，J.Log。阿尔盖布。程序。81，第4号，522--540（2012；Zbl 1243.68220） 全文： 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 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） 全文： 内政部