卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Anna Ingófsdóttir，安娜 一阶分支时间属性的双向运行时强制。 （英语） Zbl 07667087号 日志。方法计算。科学。 19，第1号，第14号论文，44页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Log。方法计算。科学。19，第1号，第14号论文，44页（2023；Zbl 07667087） 全文： 内政部 arXiv公司
卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；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；兹bl 1520.68069） 全文： 内政部 arXiv公司