@第{zbMATH06526773条，作者={朱，H.和何，吉峰和秦，盛超和布鲁克，菲利普}，Title={事件驱动系统级语言的指称语义及其代数推导}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={27}，数字={1}，页码={133--166}，年份={2015年}，语言={英语}，DOI={10.1007/s00165-014-0309-8}，关键词={68N15,68Q55}，URL={research.tees.ac.uk/ws/files/6755833/594436.pdf}，zbMATH={6526773}，Zbl=｛1347.68039｝}