[ICFP'26] Deterministic Concurrency
ACM SIGPLAN · 65:37
Edward Lee argues that determinism is a property of a model, not of a physical system. Engineers should write deterministic concurrent specifications and then build systems that match them with high confidence. His re...