尼古拉·贝内什;乌里·法伦贝格;简·Křetínsk;Legay、Axel;路易斯·玛丽·特劳努埃兹 逻辑规范与行为规范。 （英语） Zbl 1435.68189号 Inf.计算。 271，文章ID 104487，24 p.（2020）.MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。271，文章ID 104487，24 p.（2020；Zbl 1435.68189） 全文： 内政部 哈尔
Larsen，Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 （英语） Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare}，Theor。计算。科学。546164--175（2014年；Zbl 1317.68120） 全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 P/T网络交互的连接器代数。 （英语） 兹伯利1344.68161 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901、312-326（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。6901312--326（2011；Zbl 1344.68161） 全文： 内政部
詹乃军;Mila Cederbaum少校 关于分层发展的反应系统。 （英语） Zbl 1197.93080号 Inf.计算。 208，第9期，997-1019（2010）.MSC公司：93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum}，Inf.Compute。208，第9号，997--1019（2010；Zbl 1197.93080） 全文： 内政部
法哈德·阿尔巴;罗伯托·布鲁尼;克拉克、戴夫;伊万·拉内斯;乌戈·蒙塔纳里 Reo的平铺。 （英语） Zbl 1253.68090号 Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，37-55（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab}等人，Lect。注释计算。科学。5486、37-55（2009年；Zbl 1253.68090） 全文： 内政部 链接
鲍尔丹，P。;A.Braccali。;R.布鲁尼。 开放流程的语义框架。 （英语） Zbl 1132.68042号 西奥。计算。科学。 389，第3期，446-483（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Theor。计算。科学。389，第3号，446--483（2007；Zbl 1132.68042） 全文： 内政部 链接
罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 无状态连接符的基本代数。 （英语） Zbl 1153.68331号 西奥。计算。科学。 366，编号1-2，98-120（2006）.MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Theor。计算。科学。366，编号1--2，98-120（2006；Zbl 1153.68331） 全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 动态可重构平铺系统的观测一致性。 （英语） Zbl 1080.68075号 西奥。计算。科学。 335，编号2-3，331-372（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Theor。计算。科学。335，编号2--3，331--372（2005；Zbl 1080.68075） 全文： 内政部 链接
罗伯托·布鲁尼;乌戈·蒙塔纳里 用于并发的动态连接器。 （英语） Zbl 0996.68073号 西奥。计算。科学。 281，编号1-2，131-176（2002）.MSC公司：2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari}，Theor。计算。科学。281，编号1--2，131--176（2002；Zbl 0996.68073） 全文： 内政部
弗朗西丝卡·列维 状态图过程的组合（mu）演算证明系统。 （英语） 兹伯利0914.68179 西奥。计算。科学。 216，第1-2号，271-310（1999）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \文本{F.Levi}，Theor。计算。科学。216，编号1--2，271--310（1999；Zbl 0914.68179） 全文： 内政部
南希·林奇;Vaandrager，Frits公司 动作传感器和定时自动机。 （英语） Zbl 0860.68072号 正式Asp。计算。 8，第5期，499-538（1996）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Lynch}和\textit{F.Vaandrager}，正式Asp。计算。8，第5号，499--538（1996；Zbl 0860.68072） 全文： 内政部
埃里克·巴杜埃尔;菲利普·达伦多 跟踪网络和过程自动机。 （英语） Zbl 0831.68067号 学报信息。 32，第7期，647-679（1995）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}和\textit{P.Darondeau}，《学报》第32期，第7期，第647--679页（1995年；Zbl 0831.68067） 全文： 内政部
安徒生，约根·H·。;Kristoffersen，Káre J。;Larsen，Kim G。;杰斯珀·尼德曼 实时系统的自动合成。 （英语） Zbl 1412.68136号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 535-546 (1995).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Andersen}等人，Lect。注释计算。科学。944535-546（1995年；Zbl 1412.68136） 全文： 内政部
安徒生、亨利克·雷夫 模型检查和布尔图。 （英语） Zbl 0798.03017号 西奥。计算。科学。 126，第1期，第3-30页（1994年）.MSC公司：03B45号 68问题85 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.R.安徒生}，Theor。计算。科学。126，编号1，3--30（1994；兹bl 0798.03017） 全文： 内政部
安徒生、亨利克·雷夫;格林·温斯克尔 满意度的成分检查。 （英语） Zbl 0776.68083号 形式方法系统。设计。 1，第4期，323-354（1992）. 审核人：H.R.安徒生 MSC公司：60年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Andersen}和\textit{G.Winskel}，《形式方法系统》。设计。1，第4号，323--354（1992；Zbl 0776.68083） 全文： 内政部