En artikkel utforsker hvordan begreper fra middelaldersk østasiatisk logikk kan brukes til å forstå invarianter i samtidig programmering.

Kilde: https://oborona.zip/post/a-middle-period-engine-reconstructing-concurrency-invariants-through-east-asian-structural-logic