埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 基于元组的语言中的因果一致回滚。 (英语) Zbl 1362.68213号 J.日志。阿尔盖布。方法计划。 88, 99-120 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Giachino}等人,J.Log。阿尔盖布。方法程序。88、99-120(2017年;Zbl 1362.68213) 全文: 内政部 链接
马里奥·布拉维蒂;埃琳娜·贾奇诺;迈克尔·连哈特;Peter Y.H.Wong。 并发对象组的动态重新绑定:理论与实践。 (英语) Zbl 1353.68044号 J.日志。阿尔盖布。方法计划。 86,第1号,349-390(2017).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,J.Log。阿尔盖布。方法程序。86,第1号,349--390(2017;Zbl 1353.68044) 全文: 内政部