克里斯蒂安·普罗布斯特。（编辑）;克里斯·汉金（编辑）;汉森、雷内·里多夫（编辑） 语义学、逻辑学和计算。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际，为他们撰写的论文。 （英语） Zbl 1327.68022号 计算机科学课堂讲稿9560.查姆：施普林格（ISBN 978-3-319-27809-4/pbk；978-3-3169-27810-0/电子书）。x、 第345页。(2016). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：阿兰·迈克罗夫特（Alan Mycroft）；多米尼克果园；托马斯·佩特里切克，重访效果系统-控制流代数和语义，1-32[Zbl 1474.68058号]博代，恰拉；皮耶保罗·德加诺（Pierpaolo Degano）；费拉里，吉安·路易吉；加莱塔，莱特里奥，最后一英里的资源，33-53[Zbl 1474.68044号]克里斯蒂安·普罗布斯特（Christian W.Probst）。；弗洛里安·卡姆米勒（Florian Kammüller）；RenéRydhof汉森，社会技术系统的形式化建模和分析，54-73[Zbl 1478.91141号]Reineke，Jan；莱因哈德·威廉、静态计时分析–有什么特别之处？，74-87 [Zbl 1474.68061号]奥列森（Mads Christian Olesen）；Hansen，RenéRydhof；金·古德斯特兰·拉森，基于自动机的跟踪分区抽象解释方法，88-110[Zbl 1474.68059号]亚历山德拉·迪·皮耶罗；赫伯特，威克利基，概率抽象解释：从迹语义到DTMC和线性回归，111-139[Zbl 1474.68047号]斯蒂芬·吉尔摩（Stephen Gilmore）；简·希尔斯顿；娜塔莉亚·佐恩，PEPA模型的抽象解释，140-158[Zbl 1474.68050号]迈克尔·胡特（Michael Huth）；Kuo，Jim Huan-Pu；尼尔·皮特曼，平价博弈的静态分析：平价下的交替可达性，159-177[Zbl 1474.68053号]克里斯·汉金，博弈论和工业控制系统，178-190年[Zbl 1478.91043号]伯恩哈德·斯特芬；马尔特·伊斯伯纳；贾斯珀，马克《玩弄抽象与再现》，191-213年[Zbl 1474.68185号]阿恩·哈特曼斯；赫尔曼斯，霍尔格；简·克查尔，计划员不是先知，214-235[Zbl 1474.68203号]安德里奇，玛丽娜；De Nicola，罗科；阿尔贝托·卢什·拉富恩特，在X10中复制数据以获得更好的性能，236-251[Zbl 1474.68039号]戴维·施密特（David A.Schmidt）。守卫、失败和偏袒：迪克斯特拉的守卫命令语言在拓扑上形成，252-271[Zbl 1474.68062号]阿皮尼斯，卡尔默；塞德尔，赫尔穆特；沃伊达尼，维萨尔，通过扩大和缩小来加强自上而下的解决，272-288[Zbl 1474.68043号]Henglein，Fritz；雅各布·雷霍夫、模态交叉类型、两级语言和阶段合成，289-312[Zbl 1474.68052号]卢卡·埃特罗（Luca Aceto）；阿尔瓦罗·加西亚·佩雷斯；Anna Ingólfsdóttir，结构操作语义中有界不确定性的规则格式，313-343[Zbl 1474.68184号] 引用于2文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B30型 费斯特施里夫滕 传记参考： 尼尔森、汉内·里斯;弗莱明·尼尔森 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Probst}（编辑）等人，《语义学、逻辑学和计算》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际，为他们撰写的论文。查姆：施普林格（2016；Zbl 1327.68022） 全文： 内政部