@第{meier_et_al:DARTS.5.2.13条,author={Meier、Shawn和Mover、Sergio和Chang、Bor-Yuh Evan},title={{生命状态:事件驱动协议和回调控制流}},页码={13:1--13:3},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2019},体积={5},数字={2},editor={Meier、Shawn和Mover、Sergio和Chang、Bor-Yuh Evan},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.13},URN={URN:nbn:de:0030-drops-107902},doi={10.4230/DARTS.5.113},annote={关键词:领域特定语言,基于事件的编程,语言实现,新的编程模型或语言,面向对象编程,语义,测试,验证,自动化}}