×
卢卡·福萨蒂;Daniele瓦拉卡

握手协议的Petri网模型。 （英语） Zbl 1291.68284号

Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，59-76（2009）。
摘要：我们提出了握手协议的Petri网模型。这些是异步通信协议，它们强制执行一些属性，例如无传输干扰和对导线上传播延迟不敏感。我们引入了握手Petri网的概念，这是一种具有特定外部接口的Petri网。我们表明，由这种网络生成的可观察静态跟踪集捕获了定义握手协议的属性。相反，我们证明了对于任何握手协议，我们都可以构造相应的网络。我们还研究了模型的不同子类。提供了许多示例。
关于整个系列，请参见[Zbl 1279.68006号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
68个M12 网络协议

关键词：

握手协议;Petri网;异步通信;延迟敏感性;传输干扰
PDF格式BibTeX公司 XML格式引用
\textit{L.Fossati}和\textit{D.Varacca}，电子。注释Theor。计算。科学。229，第3号，59--76（2009；Zbl 1291.68284）
全文： 内政部

参考文献：

[2] Abramsky，S。；盖伊，S。；Nagarajan，R.，交互类别和类型基础并发编程，（Broy，M.，1994年Marktoberdorf暑期学校演绎程序设计会议记录（1996），Springer-Verlag），35-113·Zbl 0934.18007号
[3] A.巴兹利。Balsa：异步电路综合系统。硕士论文。曼彻斯特大学计算机科学系，1998年；A.巴兹利。Balsa：异步电路综合系统。硕士论文。曼彻斯特大学计算机科学系，1998年
[4] Fossati，L。；Mackie，I.，《握手游戏》，2006年DCM会议记录。2006年DCM会议记录，ENTCS，1713，3，21-41（2007），Elsevier·兹比尔1277.68183
[5] L.Fossati和D.Varacca。握手协议的微积分。提交出版，2008年；L.Fossati和D.Varacca。握手协议的微积分。提交出版，2008年·Zbl 1291.68284号
[6] Ghica，Dan R.，《合成几何：VLSI设计的结构化方法》，第34届POPL会议论文集（2007），ACM出版社·兹比尔1295.68062
[7] M.B.Josephs、J.T.Udding和Y.Yantchev。握手代数。技术报告SBU-CISM-93-1，南岸大学计算、信息系统和数学学院，伦敦，1993年；M.B.Josephs、J.T.Udding和Y.Yantchev。握手代数。技术报告SBU-CISM-93-1，南岸大学计算、信息系统和数学学院，伦敦，1993年
[8] 伊恩·麦基（Ian Mackie），《交互机器的几何》（The geometry of interaction machine），（第22届POPL会议录（1995），ACM出版社），198-208
[9] 莫尔纳，C.E。；方，T.-P。；Rosenberg，F.U.，《延迟敏感模块的合成》（1985年教堂山超大规模集成会议论文集（1985），计算机科学出版社），67-86
[10] Peterson，James Lyle，Petri网理论和系统建模（1981），普伦蒂斯·霍尔PTR·Zbl 0461.68059号
[11] Reisig，Wolfgang，《Petri Nets:导论》（理论计算机科学专著，EATCS系列，第4卷（1985），Springer Verlag）·Zbl 0555.68033号
[12] 计算结构组。1969-70年进度报告。技术报告MIT-MAC-memo-53，马萨诸塞理工学院，1972年1月；计算结构组。1969-70年进度报告。技术报告MIT-MAC-memo-53，马萨诸塞理工学院，1972年1月
[13] 计算结构组。1970-71年进度报告。技术报告MIT-MAC-memo-64，马萨诸塞理工学院，1972年1月；计算结构组。1970-71年进度报告。技术报告MIT-MAC-memo-64，马萨诸塞理工学院，1972年1月
[14] J.T.Udding公司。延迟敏感电路的分类和组成; J.T.Udding公司。延迟不敏感电路的分类与组成·Zbl 0545.94020号
[15] Van Berkel，K.，《握手电路：VLSI设计的异步架构》，剑桥国际并行计算丛书（1993），剑桥大学出版社·Zbl 0875.68551号
[16] T.Verhoeff。延迟不敏感通信协议的特征。计算科学笔记89/6，数学系。和C.S.，埃因霍温理工大学，1989年5月；T.Verhoeff。延迟不敏感通信协议的特征。计算机科学笔记'89/6，数学系。和C.S.，埃因霍温理工大学，1989年5月
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。