@杂项{zbMATH04124989,作者={Amir{Pnueli}和罗尼{Rosner},关于异步反应模块的合成,年份:{1989},语言{英语},HowPublished={自动机,语言和程序设计,第16届国际学术讨论会,Stresa/Italy 1989,Lect.Notes Comput.Sci.372,652-671(1989)},MSC2010={68Q60 68N25 03B45 68Q25},Zbl={0686.68015}}