중세 동아시아 논리학을 통한 동시성 불변량 재구성

Reconstructing Concurrency Invariants Through Medieval East Asian Logic