贝内迪克特·博利格；玛丽·福廷；保罗·加斯丁 通信有限状态机、一阶逻辑和无星命题动态逻辑。 （英语） Zbl 1464.68150号 J.计算。系统。科学。 115, 22-53 (2021).MSC公司：65年第68季度 03B70号 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，《计算杂志》。系统。科学。115、22-53（2021年；Zbl 1464.68150） 全文： 内政部
贝内迪克特·博利格；帕特里夏·鲍耶；费比安·雷特 寄存器中的标识符。用逻辑描述网络算法。 （英语） 兹比尔1524.68211 Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11425, 115-132 (2019).MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。票据计算。科学。11425、115-132（2019年；Zbl 1524.68211） 全文： 内政部 arXiv公司
贝内迪克特·博利格；玛丽·福廷；保罗·加斯丁 事后很容易变得明智：通信有限状态机用“之前发生过”捕获一阶逻辑。 （英语） Zbl 1487.68163号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第7条，第17页（2018年）。MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。118，第7条，第17页（2018；兹bl 1487.68163） 全文： 内政部 arXiv公司
贝内迪克特·博利格；玛丽·福廷；保罗·加斯丁 通信有限状态机和双变量逻辑。 （英语） Zbl 1487.68140号 Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第17条，第14页（2018年）。MSC公司：65年第68季度 03B70号 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。96，第17条，第14页（2018；Zbl 1487.68140） 全文： 内政部 arXiv公司
贝内迪克特·博利格；Grindei，马努埃拉·利迪亚；彼得·哈贝梅尔 并发递归程序的可实现性。 （英语） Zbl 1425.68062号 形式方法系统。设计。 53，第3期，339-362（2018）.MSC公司：68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，《形式方法系统》。设计。53，第3号，339--362（2018；Zbl 1425.68062） 全文： 内政部
贝内迪克特·博利格 并发系统的自动化和逻辑：五页五个模型。 （英语） Zbl 1465.68133号 Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9223, 3-12 (2015).MSC公司：65年第68季度 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，莱克特。票据计算。科学。9223，3-12（2015；Zbl 1465.68133） 全文： 内政部
贝内迪克特·博利格 用参数化拓扑通信自动机的逻辑。 （英语） Zbl 1401.68223号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第18号论文，第10页（2014年）。MSC公司：68问题85 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，in：2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会联合会议和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第18号论文，第10页（2014；Zbl 1401.68223） 全文： 内政部 哈尔
贝内迪克特·博利格；保罗·加斯丁；阿克谢·库马尔 参数化通信自动机：补充和模型检查。 （英语） Zbl 1360.68577号 Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29625-637（2014）。MSC公司：60年第68季度 05年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。29625--637（2014年；Zbl 1360.68577） 全文： 内政部
贝内迪克特·博利格；保罗·加斯丁；贾娜·舒伯特 上下文边界下通信自动机的参数化验证。 （英语） Zbl 1448.68286号 Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8762, 45-57 (2014).MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。票据计算。科学。8762、45-57（2014年；Zbl 1448.68286） 全文： 内政部 哈尔
阿克沙伊，S。；贝内迪克特·博利格；保罗·加斯丁；马达瓦恩·穆昆德；K.Narayan Kumar 具有独立演化时钟的分布式时间自动机。 （英语） Zbl 1298.68189号 芬丹。通知。 130，第4期，377-407（2014）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，Fundam。通知。130，第4号，377--407（2014；Zbl 1298.68189） 全文： 内政部
贝内迪克特·博利格；Cyriac，艾斯瓦里亚；洛伊奇，Hélouët；艾哈迈特·卡拉；托马斯·施文蒂克 动态通信自动机和分支高级MSC。 （英语） Zbl 1377.68144号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810，177-189（2013）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。票据计算。科学。7810，177--189（2013；Zbl 1377.68144） 全文： 内政部 哈尔
贝内迪克特·博利格；西里亚克，爱斯瓦里亚；保罗·加斯丁；Narayan Kumar，K。 数据词的模型检查语言。 （英语） Zbl 1352.68145号 Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，391-405（2012）。MSC公司：60年第68季度 03B25号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。票据计算。科学。7213，391--405（2012；Zbl 1352.68145） 全文： 内政部
贝内迪克特·博利格；Grindei，马努埃拉·利迪亚；彼得·哈贝梅尔 并发递归程序的可实现性。 （英语） Zbl 1234.68071号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504，410-424（2009）。MSC公司：68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。票据计算。科学。5504410--424（2009年；Zbl 1234.68071） 全文： 内政部
贝内迪克特·博利格；迪特里赫·库斯克 穆勒消息传递自动机和逻辑。 （英语） 兹比尔1154.68064 Inf.计算。 206，编号9-10，1084-1094（2008）.MSC公司：65年第68季度 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{D.Kuske}，信息计算。206，编号9--10，1084--1094（2008；Zbl 1154.68064） 全文： 内政部
阿克沙伊，S。；贝内迪克特·博利格；保罗·加斯丁 定时消息序列图的自动机和逻辑。 （英语） Zbl 1135.68496号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855290-302（2007）。MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，Lect。票据计算。科学。4855、290--302（2007年；Zbl 1135.68496） 全文： 内政部
贝内迪克特·博利格；马丁·勒克 消息传递自动机在表达上等价于EMSO逻辑。 （英语） 兹比尔1097.68082 西奥。计算。科学。 358，编号2-3，150-172（2006）.MSC公司：68问题85 03B15号机组 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Leucker}，Theor。计算。科学。358，编号2--3，150-172（2006；Zbl 1097.68082） 全文： 内政部
贝内迪克特·博利格 异步细胞自动机的表达能力。 （英语） Zbl 1123.68074号 李希基维茨（Li sh kiewicz）、马西耶（Maciej）等，《计算理论基础》。2005年8月17日至20日，第15届国际研讨会，FCT，德国吕贝克。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28193-2/pbk）。计算机科学课堂讲稿3623528-539（2005）。MSC公司：68问题80 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，莱克特。票据计算。科学。3623528--539（2005年；Zbl 1123.68074） 全文： 内政部
贝内迪克特·博利格；马丁·勒克 消息传递自动机在表达上等价于EMSO逻辑。 （英语） Zbl 1097.68581号 Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。《计算机科学讲义》3170、146-160（2004）。MSC公司：68问题85 03B15号机组 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Leucker}，莱克特。票据计算。科学。3170146-160（2004年；Zbl 1097.68581） 全文： 内政部