阿莱西奥·曼苏蒂 扩展命题分离逻辑以获得鲁棒性。 （英语） Zbl 1528.03151号 Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第42条，第23页（2018年）。MSC公司：03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti}，LIPIcs——莱布尼茨国际程序。通知。122，第42条，第23页（2018；Zbl 1528.03151） 全文： 内政部
安德烈亚·布拉夏利；罗伯托·布鲁尼；阿尔贝托·卢什·拉富恩特 关于名称修饰上下文的符号语义。 （英语） Zbl 1291.68282号 Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，37-58（2009）。MSC公司：68问题85 68英里11 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Braciali}等人，《电子》。注释Theor。计算。科学。229，第3号，37-58（2009；Zbl 1291.68282） 全文： 内政部
你好，托尼；彼得·奥赫恩 用于通信进程的分离逻辑语义。 （英语） Zbl 1286.68352号 Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，3-25（2008）。MSC公司：68问题85 68甲15 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛T.Hoare｝和\textit｛P.O'Hearn｝，Electron。注释Theor。计算。科学。212、3--25（2008年；Zbl 1286.68352） 全文： 内政部
鲍尔丹，P。；A.Braciali。；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） 全文： 内政部 链接
O'Hearn，Peter W。 资源、并发和本地推理。 （英语） Zbl 1111.68023号 西奥。计算。科学。 375，编号1-3，271-307（2007）.MSC公司：68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \文本｛P.W.O’Hearn｝，Theor。计算。科学。375，编号1--3，271--307（2007；Zbl 1111.68023） 全文： 内政部
陈、陶璐；韩婷婷；陆健 半结构化数据的规范和验证。 （英语） Zbl 1097.68072号 武汉大学自然科学学院。 11，第1期，107-112（2006）.MSC公司：60年第68季度 68第05页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等，武汉理工大学。11，第1号，第107-112页（2006年；Zbl 1097.68072） 全文： 内政部
罗宾·米尔纳 纯双图：结构和动力学。 （英语） Zbl 1093.68067号 Inf.计算。 204，第1期，60-122（2006）.MSC公司：68问题85 68问题55 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}，信息计算。204，第1号，60-122（2006；Zbl 1093.68067） 全文： 内政部 链接
德克·帕丁森；马丁·威尔辛 移动组件的协调方法。 （英语） 兹比尔1070.68010 西奥。计算。科学。 331，编号2-3，457-483（2005）.MSC公司：68米10 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{M.Wirsing}，Theor。计算。科学。331，编号2--3，457--483（2005；Zbl 1070.68010） 全文： 内政部
爱蒂安·洛兹 静态空间逻辑中空间连接词的消除。 （英语） Zbl 1078.68098号 西奥。计算。科学。 330，第3号，475-499（2005）.MSC公司：60年第68季度 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \提奥，textit{埃里·洛兹}。计算。科学。330，第3号，475--499（2005；Zbl 1078.68098） 全文： 内政部
路易斯·凯雷斯；卢卡·卡德利 用于并发的空间逻辑。二、。 （英语） Zbl 1050.68104号 西奥。计算。科学。 322，第3期，517-565（2004）.MSC公司：68问题85 03B70号 03B45号 05年3月 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，Theor。计算。科学。322，第3号，517--565（2004；Zbl 1050.68104） 全文： 内政部
路易斯·凯雷斯；卢卡·卡德利 用于并发的空间逻辑。一、。 （英语） 兹比尔1068.03022 Inf.计算。 186，第2期，194-235（2003）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，信息计算。186，第2号，194--235（2003；Zbl 1068.03022） 全文： 内政部
安德鲁·皮特斯（Andrew M.Pitts）。 名义逻辑，一种关于名称和约束的一阶理论。 （英语） Zbl 1056.03014号 Inf.计算。 186，第2期，165-193（2003）.MSC公司：03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛A.M.Pitts｝，信息计算。186，第2号，165--193（2003；Zbl 1056.03014） 全文： 内政部
维托尔德·查拉托尼克；达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。；Supratik Mukhopadhyay公司；Jean-Marc Talbot 模型检查移动环境。 （英语） Zbl 1068.68081号 西奥。计算。科学。 308，编号1-3，277-331（2003）.MSC公司：60年第68季度 第68季度10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Charatonik｝等人，Theor。计算。科学。308，编号1--3，277--331（2003；Zbl 1068.68081） 全文： 内政部