@第{zbMATH00567292条，作者={Manna，Zohar and Pnueli，Amir}，标题={反应性模型}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={30}，数字={7}，页码={609--678}，年份={1993}，语言={英语}，DOI={10.1007/BF01191722}，关键词={68Q10,68Q60}，zbMATH={567292}，Zbl={0790.68041}}