Aceto,卢卡;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英文) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。19,第1号,第14号论文,44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
Aceto,卢卡;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 通过抑制执行运行时强制。 (英文) Zbl 1520.68069号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第34条,第17页(2018年)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。118,第34条,第17页(2018;Zbl 1520.68069) 全文: 内政部 arXiv公司
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡迪 web安全的形式化方法。 (英文) Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87, 110-126 (2017).MSC公司:68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。阿尔盖布。方法程序。87、110-126(2017;Zbl 1359.68021) 全文: 内政部 链接