A novel paradigm for programming reactive systems centered on naturally specified modular behavior.

作者:Harel David*; Marron Assaf; Weiss Gera
来源:Communications of the ACM, 2012, 55(7): 90-100.
DOI:10.1145/2209249.2209270