保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 配置结构的行为逻辑。 (英文) Zbl 1483.68222号 理论。计算。科学。 913, 94-112 (2022).MSC公司:第68季度85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。913,94-112(2022年;兹比尔1483.68222) 全文: 内政部
克里斯蒂安·约翰森 ST-结构。 (英文) Zbl 1353.68208号 J.日志。阿尔盖布。方法计划。 85,第6期,1201-1233(2016).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Johansen},J.Log。阿尔盖布。方法计划。85,第6号,1201--1233(2016;Zbl 1353.68208) 全文: 内政部
伊恩·菲利普斯;伊雷克·乌利多夫斯基 事件结构中的可逆性和不对称冲突。 (英文) 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) 全文: 内政部
伊恩·菲利普斯;伊雷克·乌利多夫斯基 事件标识符逻辑。 (英文) Zbl 1342.68240号 数学。结构。计算。科学。 24,第2期,文章ID e240204,51 p.(2014).MSC公司:第68季度85 03B45 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski},数学。结构。计算。科学。24,第2号,文章ID e240204,51 p.(2014;Zbl 1342.68240) 全文: 内政部
保罗·巴尔丹;西尔维亚·克拉法 真正并发的逻辑。 (英文) Zbl 1321.68355号 美国临床医学杂志 第61号第4条第24条第36页(2014年).MSC公司:第68季度85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{S.Crafa},J.ACM 61,第4号,第24条,第36页(2014;Zbl 1321.68355) 全文: 内政部 arXiv公司