埃尔南·梅尔格拉蒂 克劳迪奥·安塔雷斯·梅齐纳 G.米歇尔·平纳 可逆基本事件结构的分布式操作视图。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470623 conf/lics/2021 db/conf/lics/lics2021.html#MelgrattiMP21