Jean-Pierre塔宾;詹斯·勃兰特;Mike Gemünde;Schneider，Klaus公司;桑迪普·舒克拉 构造性多时系统。 （英语） Zbl 1437.68109号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 335-349 (2013). 摘要：同步范式为反应式系统设计提供了时间的逻辑抽象，允许以可预测、及时和反应的方式自动合成嵌入式程序。根据同步假设，同步模型对输入事件作出反应，并生成立即可用的输出。但是，即使同步性大大简化了复杂系统的设计，但当反应中的数据依赖性不明确时，往往会导致拒绝模型，从而导致因果循环。构造性是保证每个反应过程中的输出可以通过算法确定的一个关键属性。通过使用时间的部分有序或关系模型，多时性偏离了完全同步。它捕获（隐式）多锁数据流网络的行为，并可以将其分析和合成为GALS系统或Kahn过程网络（KPN）。在本文中，我们使用结构操作语义提供了一个统一的构造语义框架，该框架捕获了同步模块和多锁多同步进程的行为。在此过程中，我们定义了信号.关于整个系列，请参见[Zbl 1322.03004号]. 引用于三文件 理学硕士： 68问题55 计算理论中的语义学 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：联合;酯类;多时性;石英 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人，Lect。注释计算。科学。7734、335--349（2013年；Zbl 1437.68109） 全文： 内政部 链接 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。