弗莱明·尼尔森;尼尔森、汉内·里斯 安全保护的命令。 (英语) Zbl 1440.68036号 Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12065, 201-215 (2020).MSC公司:68平方米25 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,莱克特。注释计算。科学。12065201-215(2020年;兹比尔1440.68036) 全文: 内政部
雨果·A·洛佩兹。;弗莱明·尼尔森;尼尔森、汉内·里斯 在故障软件通信系统中增强可用性。 (英语) Zbl 1347.68060号 Albert,Elvira(编辑)等人,分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议,2016年FORTE,作为第11届分布式计算技术国际联合会议的一部分,2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆:施普林格(ISBN 978-3-319-39569-2/pbk;978-3-3169-39570-8/电子书)。《计算机科学讲义》9688195-211(2016)。MSC公司:68甲19 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.A.López}等人,Lect。注释计算。科学。9688、195--211(2016;Zbl 1347.68060) 全文: 内政部 链接
卢赫·拉富恩特,阿尔贝托;弗莱明·尼尔森;尼尔森、汉内·里斯 面向交互的规范的自由裁量信息流控制。 (英语) Zbl 1321.68349号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,427-450(2015)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch Lafuente}等人,Lect。注释计算。科学。9200、427--450(2015年;Zbl 1321.68349) 全文: 内政部 链接
尼尔森、汉内·里斯;弗莱明·尼尔森;罗伯托·维戈 针对不可靠通信的稳健性的质量计算。 (英语) Zbl 1337.68041号 J.日志。代数。方法计划。 84,第5号,611-639(2015).MSC公司:64岁以下 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}等人,J.Log。代数。方法计划。84,第5号,611--639(2015;Zbl 1337.68041) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯;曾可斌 随机质量演算的随机模型检验。 (英语) Zbl 1454.68079号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·维尔辛(Martin Wirsing)在2015年从编程和软件工程主席退休之际发表的论文,德国慕尼黑。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 522-537 (2015).MSC公司:第68季度85 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。8950522--537(2015;Zbl 1454.68079) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 质量计算中的安全与安全。 (英语) Zbl 1390.68484号 刘志明(主编)等,《程序设计理论与形式化方法》。在何纪峰70岁生日之际献给他的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,285-303(2013)。MSC公司:第68季度85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,莱克特。注释计算。科学。8051,285--303(2013;Zbl 1390.68484) 全文: 内政部