Interactive Checks for Coordination Avoidance

[stonewhitener]

Resources

• https://dl.acm.org/doi/10.14778/3275536.3275538

Summary

Invariant Confluence (複製されたデータが調停なしで不変量を満たす)とその十分条件Invariant Closureが同値となる条件と，InvConfluentでない対象を不変量を保ちながら少ない調停で複製するセグメント化を提案し，Invariant Confluentを判定する手続きを開発．