Reconstructing Concurrency Invariants Through Medieval East Asian Logic — Blankdot