@InCollection{zbMATH05945205，作者={Fisher、Jasmin和Henzinger、Thomas A.和Nickovic、Dejan和Piterman、Nir和Singh、Anmol V.和Vardi、Moshe Y.}，标题={动态反应模块}，BookTitle={CONCUR 2011---并发理论。第22届国际会议，CONCUR 2011，德国亚琛，2011年9月6-9日。诉讼}，国际标准图书编号={978-3-642-23216-9}，页码={404--418}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-23217-6_27}，关键词={68Q85}，zbMATH={5945205}，Zbl={1343.68167}}