[ICFP'26] Deterministic Concurrency
ACM SIGPLAN · 65:37 · Watch on YouTube
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...