著者: David Harel, Assaf Marron, Gera Weiss - Communications of the ACM, CACM 2012 被引用: 137
A novel paradigm for programming reactive systems centered on naturally specified modular behavior.
