@第{zbMATH06432043条,作者={Shyamasundar,R.K.和Ramesh,S.},标题={反应式规范的语言:同步与异步},FJournal={国际计算机科学基础杂志},日志={Int.J.Found.Comput.Sci.},ISSN={0129-0541},体积={11},数字={2},页码={283--314},年份={2000},语言={英语},DOI={10.1142/S01290541000017X},关键词={68Q60,68Q85},zbMATH={6432043},Zbl={1319.68143}}