德波尔（Frank S。；马塞洛·邦桑格 符号执行正式解释。 （英语） Zbl 1519.68057号 正式Asp。计算。 33，编号4-5，617-636（2021）.MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛F.S.de Boer｝和\textit｛M.Bonsangue｝，正式Asp。计算。33，编号4-5167-636（2021；兹bl 1519.68057） 全文： 内政部
朱里安·罗特；菲利波·邦奇；马塞洛·邦桑格；Damien Pous；简·拉特；亚历山德拉·席尔瓦 增强的协同脑互模拟。 （英语） Zbl 1380.68300号 数学。结构。计算。科学。 27，第7期，1236-1264（2017）. 审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur） MSC公司：68问题85 18B20型 18立方厘米 18 C50 68问题55 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人，数学。结构。计算。科学。27，第7号，1236--1264（2015；Zbl 1380.68300） 全文： 内政部
斯特凡·米利厄斯；马塞洛·M·邦桑格。；罗伯特·S·R·迈尔斯。；朱里安·罗特 合理的运营模式。 （英语） Zbl 1334.68137号 Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298257-282（2013）。MSC公司：68问题65 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Milius}等人，《电子》。注释Theor。计算。科学。298257-282（2013年；Zbl 1334.68137） 全文： 内政部
菲利波·邦奇；马塞洛·邦桑格；乔治亚娜·卡尔泰斯；简·拉特；亚历山德拉·席尔瓦 修饰痕迹的最终语义。 （英语） Zbl 1342.68224号 Berger，Ulrich（ed.）等人，第28届编程语义数学基础会议论文集（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记28673-86（2012）。MSC公司：68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，《电子》。注释Theor。计算。科学。286，73-86（2012年；兹比尔1342.68224） 全文： 内政部
亚历山德拉·席尔瓦；菲利波·邦奇；马塞洛·邦桑格；简·拉特 定量Kleene余代数。 （英语） Zbl 1227.68075号 Inf.计算。 209，第5期，822-849（2011）. 审核人：卢茨·施罗德（不来梅） MSC公司：70年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}等人，《信息计算》。209，第5号，822--849（2011；Zbl 1227.68075） 全文： 内政部 链接
M.M.邦桑格。；简·拉特；亚历山德拉·席尔瓦 Coalgebraic逻辑和Mealy机器的合成。 （英语） Zbl 1137.68034号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962231-245（2008）。MSC公司：65年第68季度 03B45号 03B70号 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人，莱克特。注释计算。科学。4962，231--245（2008；Zbl 1137.68034） 全文： 内政部
艾丽卡·阿尔布拉汉姆；马塞洛·M·邦桑格。；德波尔（Frank S。；马丁·斯特芬 对象连接性和类的并发演算的完全抽象。 （英语） Zbl 1108.68538号 Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会，中国贵阳，2004年9月20日至24日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25304-1/pbk）。计算机科学课堂讲稿3407，37-51（2005）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。3407、37--51（2005年；Zbl 1108.68538） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2002年11月5日至8日，第一届国际研讨会，FMCO 2002，荷兰莱顿。修订的讲座。 （英语） Zbl 1028.00026号 计算机科学课堂讲稿. 2852. 柏林：斯普林格。viii，507页（2003年）。MSC公司：00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2002年11月5-8日在荷兰莱顿举行的FMCO 2002第一届国际研讨会。修订的讲座。柏林：施普林格出版社（2003；Zbl 1028.00026） 全文： 内政部 链接