Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler
A calculus for Esterel: if can, can. if no can, no can
POPL, 2019.
@article{POPL-2019-FlorenceYTF,
author = "Spencer P. Florence and Shu-Hung You and Jesse A. Tov and Robert Bruce Findler",
doi = "10.1145/3290374",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{A calculus for Esterel: if can, can. if no can, no can}",
volume = 3,
year = 2019,
}