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]
@article{FlorenceYTF19,
title = {A calculus for Esterel: if can, can. if no can, no can},
author = {Spencer P. Florence and Shu-Hung You and Jesse A. Tov and Robert Bruce Findler},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3290374},
researchr = {https://researchr.org/publication/FlorenceYTF19},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {3},
}