Georgiana Caltais. Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote). In L. Thomas van Binsbergen, Daniel StrĂ¼ber 0001, Lionel Parreaux, editors, Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2026, Brussels, Belgium, 29 June 2026. pages 2, ACM, 2026. [doi]
Abstract is missing.