卢卡·埃特罗 埃利·阿纳斯塔西亚迪 瓦伦蒂娜·卡斯蒂格利奥尼 Anna Ingólfsdóttir女士 巴斯·卢提克 寻找失去的时间：过程代数中的公理化并行合成。 1-14 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470526 conf/lics/2021 db/conf/lics/lics2021.html#AcetoACIL21