×
佛朗哥·巴巴内拉;范·贝克尔，斯特芬;乌戈·德利古罗

协调的会话符合性。 （英语） Zbl 1353.68023号

J.日志。阿尔盖布。方法计划。 86，第1号，30-76（2017）.
摘要：我们研究了客户机/服务器交互的协调一致性概念会话合同。我们研究的编排器具有无限的缓冲功能，除了从不发送尚未收到的消息外，来自客户端的任何消息最终都会由编排器传递到服务器。此外，没有任何无限交互可以明确地由来自服务器的消息组成，而这些消息由编配器保存。本文还研究了这种新的合规性概念所引发的分包关系。

引用于2文件

MSC公司：

64岁以下 分布式系统
第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

顺从;会话合同;编配;分包合同
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}等人，J.Log。阿尔盖布。方法计划。86，编号1，30-76（2017；兹bl 1353.68023）
全文： 内政部 arXiv公司

参考文献：

[1] 本田，K。；Vasconselos，V.T。；Kubo，M.，《结构化通信编程的语言原语和类型规程》，（ESOP.ESOP，Lect.Notes Compute.Sci.，vol.1381（1998），Springer），22-138
[2] Carpineti，S。；卡斯塔尼亚，G。；Laneve，C。；Padovani，L.，《Web服务合同的正式说明》，（WS-FM.WS-FM，Lect.Notes Compute Sci.，第4184卷（2006），Springer），148-162
[3] Laneve，C。；Padovani，L.，《必须重新审视的预订单：网络服务契约的代数理论》，（CONCUR'07。2007年，路易斯安那州。注释计算。科学。，第4703卷（2007），施普林格），212-225·Zbl 1151.68319号
[4] 卡斯塔尼亚，G。；Gesbert，N。；Padovani，L.，网络服务合同理论，ACM Trans。程序。语言系统。，31, 5, 19:1-19:61 (2009)
[5] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，I&II，Inf.Compute。，100, 1, 1-77 (1992) ·Zbl 0752.68037号
[6] 巴巴内拉，F。；de’Liguoro，U.，基于会话的客户端/服务器系统的两种子行为概念，（PPDP（2010），ACM出版社），155-164
[7] 巴巴内拉，F。；de’Liguoro，U.，基于会话的客户端/服务器系统的子行为关系，数学。结构。计算。科学。，25, 1339-1381 (2015) ·Zbl 1361.68159号
[8] Bernardi，G。；Hennessy，M.，使用合同建模会话类型，（SAC’12（2012），ACM：美国纽约州纽约市ACM），1941-1946
[9] Bernardi，G。；Hennessy，M.，使用契约建模会话类型，数学。结构。计算。科学。，26, 510-560 (2016) ·Zbl 1361.68160号
[10] 佩尔茨，C.，《Web服务编排和编舞》，《计算机》，36，10，46-52（2003）
[11] Padovani，L.，基于契约的web服务模块发现简单编排器，Theor。计算。科学。，411, 3328-3347 (2010) ·Zbl 1209.68038号
[12] 巴巴内拉，F。；van Bakel，S。；de'Liguoro，U.，管弦会议合规性，（ICE'15。ICE’15，EPTCS，第189卷（2015），开放出版协会），21-36·Zbl 1433.68234号
[13] 巴巴内拉，F。；de’Liguoro，U.，《放松客户端/服务器系统中的合规性和子行为概念》（ICE’14）。ICE’14，EPTCS，第166卷（2014年），94-110·Zbl 1433.68233号
[14] 盖伊，S。；Hole，M.，π演算中会话类型的子类型，Acta Inform。，42, 2/3, 191-225 (2005) ·Zbl 1079.68065号
[15] 勃兰特，M。；Henglein，F.，递归类型等式和子类型的共导公理化，Fundam。通知。，33, 4, 309-338 (1998) ·Zbl 0902.68105号
[16] 皮尔斯，B。；Sangiorgi，D.，移动进程的类型和子类型，数学。结构。计算。科学。，6, 5, 409-453 (1996) ·Zbl 0861.68030号
[17] 加佩耶夫，V。；莱文，M.Y。；Pierce，B.C.，《递归子类型显示》，J.Funct。程序。，12, 6, 511-548 (2002) ·Zbl 1025.68017号
[18] O.H.伊巴拉。；苏，J。；当，Z。；布尔坦，T。；Kemmer，R.，《计数器：可判定属性和验证问题的应用》（MFCS 2000）。MFCS 2000，法律。注释计算。科学。，第1893卷（2000））·Zbl 0996.68091号
[19] 巴兹勒，D。；Degano，P。；Ferrari，G.L.，《服务合同分析自动化》（TGC 2014）。TGC 2014，法律。注释计算。科学。，第8902卷（2014）），34-50·Zbl 1444.68110号
[20] 巴兹勒，D。；Degano，P。；法拉利，G.-L。；Tuosto，E.，《通过契约自动机从编配到编舞》（ICE’14）。ICE’14，EPTCS，第166卷（2014）），67-85·Zbl 1433.68236号
[21] 品牌，D。；Zafiropulo，P.，《通信有限状态机》，J.ACM，30，2，323-342（1983）·Zbl 0512.68039号
[22] Deniélou，P。；吉田，N.，《多方会话类型满足通信自动机》（ESOP（2012）），194-213·Zbl 1352.68182号
[23] 克莱门特，L。；Herbreteau，F。；Sutre，G.，《自动机与FIFO和行李通道通信的可决定拓扑》（CONCUR’14）。CONCUR’14，莱克托。注释计算。科学。，第8704卷（2014））·Zbl 1417.68125号
[24] 巴托莱蒂，M。；Cimoli，T。；Pinna，G。；Zunino，R.，《作为事件结构游戏的合同》，J.Log。代数方法程序。，85, 3, 399-424 (2016) ·Zbl 1352.68174号
[25] 巴巴内拉，F。；de’Ligoro，U.，《可伸缩合同的游戏解释》，（2016年协调。2016年协调，Lect。注释计算。科学。，第9686卷（2016），施普林格），18-34
[26] Di Stefano，A。；Santoro，C.，计算网格中资源管理的点对点分散策略，Concurr。计算。，实际。有效期：19、9、1271-1286（2007年）
[27] 梅西纳，F。；帕帕拉多，G。；罗萨奇，D。；桑托罗，C。；Sarné，G.，《公用事业计算基础设施大规模联合体的信任软件、自组织系统》，《未来世代》。计算。系统。，56，C，77-94（2016）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。