×
杜米特鲁·波托普·布图卡鲁;贝努伊特Caillaud;阿尔伯特·本文尼斯特

同步系统中的并发。 （英语） Zbl 1100.68004号

形式方法系统。设计。 28，第2期，111-130（2006）.
小结：在本文中，我们引入了弱内时的概念，它将Mazurkiewicz迹的经典理论扩展到同步环境。该概念在为全局异步、本地同步系统合成正确构造的通信协议时很有用。这里可以利用各种计算之间的独立性来提供通信方案，在保证正确性的同时不限制并发性。这样的通信方案比它们的延迟不敏感或内/等时通信方案更轻便、更灵活。

引用于5文件

MSC公司：

64岁以下 分布式系统
68个M12 网络协议

关键词：

同步;分布;去同步;全局异步本地同步;并发;迹理论

软件：

卢斯特;酯类
PDF格式BibTeX公司 XML格式引用
\textit{D.Potop-Butucaru}等人，《形式方法系统》。设计。28，第2号，111--130（2006；Zbl 1100.68004）
全文： 内政部 链接

参考文献：

[1] MathWorks–Simulink。网址：http://www.mathworks.com/products/simulink/
[2] Benveniste A，Caillaud B，Le Guernic P（2000）《数据流同步语言中的组合性：规范和分布式代码生成》。通知计算163:125–171·Zbl 1003.68068号 ·doi:10.1006/inco.2000.9999
[3] Benveniste A、Carloni L、Caspi P、Sangiovanni-Vincentelli A（2003）《异构反应系统建模和正确构建部署》。收录：EMSOFT'03会议记录。美国宾夕法尼亚州费城
[4] Benveniste A、Caspi P、Edwards S、Halbwachs N、Le Guernic P、de Simone R（2003）《十二年后的同步语言》。摘自：IEEE会议录
[5] Berry G、Gonthier G（1992）《Esterel同步编程语言：设计、语义、实现》。科学与竞争计划19（2）：87–152·Zbl 0772.68013号 ·doi:10.1016/0167-6423（92）90005-V
[6] Carloni C、McMillan K、Sangiovanni-Vincentelli A（2001）《潜在不敏感设计理论》。IEEE Trans Comp-Aided Des Integrg Cir系统20（9）：1059–1076·数字对象标识代码：10.1109/43.945302
[7] Cortadella J、Kishinevsky M、Kondratiev A、Lavagno L、Yakovlev A（2002）《异步控制器和接口的逻辑综合》。施普林格·Zbl 1013.68273号
[8] Diekert V，Rozenberg G（编辑）（1995）《痕迹之书》。世界科学
[9] Halbwachs N（1993）《反应系统的同步编程》。Kluwer学术出版社·Zbl 0828.68038号
[10] Halbwachs N，Caspi P，Raymond P，Pilaud D（1991）《同步数据流编程语言Lustre》。收录：IEEE 79:1305–1320会议录
[11] Harel D（1987）状态图：复杂系统的可视化公式。计算机程序设计科学8（3）：231–274·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9
[12] Kopetz H（1997）实时系统，分布式嵌入式应用程序的设计原则。Kluwer学术出版社·Zbl 0930.68148号
[13] Le Guernic P，Gauthier T，Le Borgne M，Le Maire C（1991）用Signal编程实时应用程序。摘自：IEEE会议录，第79卷，第1321–1336页·数字对象标识代码：10.1109/5.97301
[14] Lynch N，Stark E（1989）《输入/输出自动机卡恩原理的证明》。通知计算82（1）：81–92·Zbl 0679.68119号 ·doi:10.1016/0890-5401（89）90066-7
[15] Potop Butucaru D，Caillaud B，Benveniste A（2004）《同步系统中的并发》。RR 5110，印度。http://www.inria.fr/rrrt/rr-5110.html ·Zbl 1100.68004号
[16] Potop-Butucaru D，de Simone R，Talpin J-P（2005）同步假设和同步语言。参见：R.Zurawski（编辑），《嵌入式系统手册》。CRC出版社。出现
[17] Yun K，Dill D（1999）《扩展突发模式电路的自动合成》。IEEE Trans Comp-Aided Des Integrg Cir系统18（2）：101–132·doi:10.1109/43.743711
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。