塞巴斯蒂安·博尔诺;约瑟夫·西法基斯 紧急情况的代数框架。 （英语） Zbl 0945.68119号 Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。167-182 (1999). 摘要：本文提出了一个框架，通过保留组件的时间反应性和活动性，将无计时系统的描述从组成上扩展到定时系统。所采用的构成原则与迄今为止最常用的构成原则形成对比，后者是时间进程的强同步性，并意味着保存组件的紧迫性。根据与通信操作相关的同步模式，保持时间反应性有时需要放松紧急约束。这项工作的一个重要成果是，由于控制等待时间和“预测”未来的可能性，不定时系统的合成运算符允许不同的时间扩展。在卫士中使用模态大大提高了建模的简洁性，并且对合成至关重要。它并不意味着简单的定时系统类（如线性混合自动机）具有额外的表达能力，在这种系统中，可以消除守卫中随时间变化的量化。关于整个系列，请参见[Zbl 0919.00073号]. MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：合成运算符;不定时系统 PDF格式BibTeX公司 XML格式引用 \textit{S.Bornot}和\textit{J.Sifakis}，北约ASI Ser。，序列号。F、 计算。系统。科学。167-182167-182（1999年；兹bl 0945.68119）