贝尔科娃,玛尔塔;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;纳霍姆Wijnberg 资源和能力的逻辑。 (英语) Zbl 1506.03065号 版本符号。日志。 11,第2号,371-410(2018).MSC公司:03B42型 03B20型 03B60号 03B45号 05年3月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人,Rev.Symb。日志。11,第2号,371--410(2018;Zbl 1506.03065) 全文: 内政部 arXiv公司
诺里希罗·卡米德 成串的顺序信息。 (英语) Zbl 1436.03144号 J.应用。日志。 15, 150-170 (2016).MSC公司:03B47号 03B45号 03B70号 05年3月 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.应用。日志。15、150-170(2016年;Zbl 1436.03144) 全文: 内政部
丹尼尔·波雷洛;北特罗夸德。 线性逻辑变体中的非正规形式。 (英语) Zbl 1398.03208号 J.应用。非类别。日志。 25,第3229-255号(2015).MSC公司:03楼52 03B45号 03B47号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Porello}和\textit{N.Troquard},J.Appl。非类别。日志。25,第3号,229--255(2015;Zbl 1398.03208) 全文: 内政部 arXiv公司
诺里希罗·卡米德 时态BI:证明系统、语义和翻译。 (英语) Zbl 1296.03014号 西奥。计算。科学。 492, 40-69 (2013).MSC公司:03B44号 03B47号 03B62号 03B70号 05年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \文本{N.Kamide},Theor。计算。科学。492,40-69(2013年;兹bl 1296.03014) 全文: 内政部
丹·特多休 多组可消费资源上的真正并发进程语义。 (英语) Zbl 1342.68245号 Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》286、307-321(2012)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Teodosiu},电子。注释Theor。计算。科学。286307-321(2012;Zbl 1342.68245) 全文: 内政部
爱蒂安·洛兹;朱尔斯·维拉德 应用(pi)演算的空间方程逻辑。 (英语) Zbl 1231.68171号 分布计算。 23,第1期,61-83(2010).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{埃里·洛兹}和\textit{J.维拉德},分布计算。23,编号1,61--83(2010;Zbl 1231.68171) 全文: 内政部
马修·科林森;大卫·皮姆 勘误表:“访问控制的代数和逻辑”。 (英语) 兹比尔1204.68135 正式Asp。计算。 22,编号3-4483-484(2010).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}和\textit{D.Pym},正式Asp。计算。22,编号3--4,483--484(2010;Zbl 1204.68135) 全文: 内政部
马修·科林森;大卫·皮姆 访问控制的代数和逻辑。 (英语) Zbl 1202.68264号 正式Asp。计算。 22,第2期,第83-104页(2010年); 勘误表同上,第22号,第3-4、483-484(2010年)。MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}和\textit{D.Pym},正式Asp。计算。22,第2号,83--104(2010;Zbl 1202.68264) 全文: 内政部 哈尔
伊恩·韦尔曼;C.A.R.霍尔。;O'Hearn,Peter W。 分离逻辑的图形模型。 (英语) Zbl 1200.68153号 Inf.流程。莱特。 109,第17号,1001-1004(2009).MSC公司:68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wehrman}等人,《信息处理》。莱特。109,第17号,1001--1004(2009;Zbl 1200.68153) 全文: 内政部
马修·科林森;大卫·皮姆 基于资源的系统建模的代数和逻辑。 (英语) Zbl 1185.68441号 数学。结构。计算。科学。 19,第5期,959-1027(2009). 审核人:Jörg Desel(艾希斯特) MSC公司:68问题85 03B44号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}和\textit{D.Pym},数学。结构。计算。科学。19,第5号,959--1027(2009;Zbl 1185.68441) 全文: 内政部
多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系:意外的嵌入。 (英语) Zbl 1169.03024号 数学。结构。计算。科学。 19,第3期,435-500(2009年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche},数学。结构。计算。科学。19,第3号,435--500(2009;Zbl 1169.03024) 全文: 内政部
朱利安·古铁雷斯 用于并发、因果和冲突的逻辑和互模拟游戏。 (英语) Zbl 1234.68300号 de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记550448-62(2009)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.古铁雷斯},莱克特。注释计算。科学。5504,48-62(2009年;兹比尔12346.8300) 全文: 内政部 链接
你好,托尼;彼得·奥赫恩 用于通信进程的分离逻辑语义。 (英语) 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},电子。注释Theor。计算。科学。212、3--25(2008年;Zbl 1286.68352) 全文: 内政部
爱蒂安·洛兹;朱尔斯·维拉德 应用(pi)演算的空间方程逻辑。 (英语) Zbl 1160.03313号 van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,387-401(2008)。MSC公司:03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·洛兹}和\textit{J.维拉德},莱克托。注释计算。科学。5201、387--401(2008年;Zbl 1160.03313) 全文: 内政部
大卫·皮姆;克里斯·托夫茨 通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 (英语) Zbl 1277.68202号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,545-587(2007)。MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{C.Tofts},电子。注释Theor。计算。科学。172545--587(2007年;Zbl 1277.68202) 全文: 内政部
孙孟;法哈德·阿尔巴 在资源敏感的定时组件连接器上。 (英语) Zbl 1202.68070号 Bonsange,Marcello M.(编辑)等人,开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。计算机科学课堂讲稿4468301-316(2007)。MSC公司:64岁以下 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}和\textit{F.Arbab},莱克特。注释计算。科学。4468、301--316(2007;Zbl 1202.68070) 全文: 内政部
马修·科林森;大卫·皮姆;克里斯·托夫茨 “资源和过程的演算和逻辑”及其结果的勘误表。 (英语) Zbl 1139.68387号 正式Asp。计算。 19,第4期,551-554(2007).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,《正式Asp》。计算。19,第4号,551--554(2007;Zbl 1139.68387) 全文: 内政部
O'Hearn,Peter W。 资源、并发和本地推理。 (英语) Zbl 1111.68023号 西奥。计算。科学。 375,编号1-3,271-307(2007).MSC公司:68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn},Theor(西奥)。计算。科学。375,编号1--3,271--307(2007;Zbl 1111.68023) 全文: 内政部