Larsen,Kim G。;拉杜·马达尔;薛冰田 并发加权逻辑。 (英语) 兹比尔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,第6号,853--883(2015;Zbl 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.日志。阿尔盖布。方法计划。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) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州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;Zbl 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;Zbl 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) 全文: 内政部