Larsen,Kim G。;拉杜·马达尔;薛炳添 并发加权逻辑。 (英语) Zbl 1330.68210号 J.日志。阿尔盖布。方法计划。 84,第6期,884-897(2015).MSC公司:第68季度85 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,J.Log。阿尔盖布。方法计划。84,第6号,884--897(2015;Zbl 1330.68210) 全文: 内政部
罗伯托·布鲁尼;乌戈州蒙塔纳里;马蒂奥·桑马蒂诺 Petri网因果关系的联合语义。 (英语) Zbl 1330.68196号 J.日志。阿尔盖布。方法计划。 84,第6号,853-883(2015).MSC公司:第68季度85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,J.Log。阿尔盖布。方法计划。84,编号6853-883(2015年;兹bl 1330.68196) 全文: 内政部 arXiv公司
托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂 具有不可观测移动的余代数的行为等价。 (英语) Zbl 1330.68195号 J.日志。阿尔盖布。方法计划。 84,第6期,826-852(2015).MSC公司:第68季度85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}等人,J.Log。阿尔盖布。方法计划。84,第6号,826--852(2015;Zbl 1330.68195) 全文: 内政部 arXiv公司
丹尼尔·赫希科夫;Jean-Marie,马迪奥;Xian、Xu 具有预序的(pi)-演算的行为理论。 (英语) Zbl 1330.68205号 J.日志。阿尔盖布。方法计划。 84,6号,806-825(2015).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。阿尔盖布。方法计划。84,第6号,806--825(2015;Zbl 1330.68205) 全文: 内政部 哈尔
伊恩·菲利普斯;伊雷克·乌利多夫斯基 事件结构中的可逆性和不对称冲突。 (英语) Zbl 1330.68213号 J.日志。阿尔盖布。方法计划。 84,第6期,781-805(2015).MSC公司:第68季度85 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski},J.Log。阿尔盖布。方法计划。84,第6号,781--805(2015;Zbl 1330.68213) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;德尼卢,皮埃尔·马洛;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;维埃拉、雨果·托雷斯 将行为类型与安全分析相结合。 (英语) Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84,第6号,763-780(2015).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。84,第6号,763-780(2015年;兹bl 1330.68045) 全文: 内政部 arXiv公司
休伯特·加拉维 重温过程计算中的序列构成。 (英语) Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法计划。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部
西尔维亚·克拉法 并发在编程抽象的进化视图中的作用。 (英语) Zbl 1330.68200号 J.日志。阿尔盖布。方法计划。 84,第6期,732-741(2015).MSC公司:第68季度85 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa},J.Log。阿尔盖布。方法计划。84,第6号,732-741(2015年;兹bl 1330.68200) 全文: 内政部 arXiv公司
马可·贝尔纳多(编辑);丹尼尔·格布勒(编辑);米歇尔·洛雷蒂(编辑) 为并发理论中的开放问题专刊撰写社论。 (英语) Zbl 1329.00184号 J.日志。阿尔盖布。方法计划。 84,第6731号(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}(编辑)等人,J.Log。阿尔盖布。方法计划。84,第6731号(2015;Zbl 1329.00184) 全文: 内政部