A calculus for Esterel: if can, can. if no can, no can

Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler. A calculus for Esterel: if can, can. if no can, no can. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.