阿尔伯特·本文尼斯特;贝诺·凯劳德;卢卡·卡洛尼（Luca P.Carloni）。;保罗·卡斯皮;Alberto L.Sangiovanni-Vincentelli。 异构反应系统建模中的因果关系和调度约束。 （英语） Zbl 1104.68406号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。计算机科学讲义3188,1-16（2004）。 摘要：最近，我们提出了一个数学框架，提供了各种计算模型，并为在分布式体系结构（如GALS或LTTA）上正确构建同步设计部署提供了正式基础。本文将我们的框架扩展到显式建模因果关系和调度约束。我们展示了在这些情况下，语义保留的形式化结果是如何成立的，并且我们讨论了在以前的去同步工作中的总体贡献。关于整个系列，请参见[Zbl 1060.68006号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：多时性 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人，Lect。注释计算。科学。3188，1-16（2004年；兹bl 1104.68406） 全文： 内政部