Lanese,伊万;阿德里安·帕拉西奥斯;德国维达尔 消息传递并发程序的因果一致重播可逆语义。 (英语) Zbl 1482.68131号 芬丹。通知。 178,编号3,229-266(2021).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,Fundam。通知。178,编号3,229--266(2021;Zbl 1482.68131) 全文: 内政部
Lanese,伊万;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 埃尔朗的可逆性理论。 (英语) Zbl 1400.68046号 J.日志。代数。方法计划。 100, 71-97 (2018).MSC公司:68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,J.Log。代数。方法计划。100,71-97(2018;Zbl 1400.68046) 全文: 内政部 arXiv公司 链接