×
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂

CaSPiS：会话、管道和服务的计算。 （英语） 兹比尔1361.68161

数学。结构。计算。科学。 25，第3期，666-709（2015）.
概要：面向服务的计算需要新的计算模型和语言，这些模型和语言具有训练有素的原语，用于客户端-服务器交互、结构化编排和意外事件处理。我们提出了CaSPiS，这是一种过程演算，其中会话和流水线的概念抽象在建模面向服务的系统中起着核心作用。CaSPiS会话是双向的，名称唯一，可以嵌套。CaSPiS管道允许协调不同会话生成的数据流。演算还配备了运算符，用于处理会话伙伴端的（意外）终止。给出了几个示例，以证明所选基元集的灵活性。一个关键贡献是Misra等人编配语言的完全抽象编码兽人。另一个主要结果表明，在CaSPiS中，可以对嵌套会话进行“优雅终止”编程，从而确保没有会话被强制永久挂起在失去合伙人之后。

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
PDF格式BibTeX公司 XML格式引用
\textit｛M.Boreale｝等人，数学。结构。计算。科学。25，第3号，666--709（2015；Zbl 1361.68161）
全文： 内政部

参考文献：

[1] 内政部：10.1007/11817949_32·Zbl 1151.68360号 ·doi:10.1007/11817949_32
[2] 施普林格计算机科学讲稿5387页176–（2009）
[3] 内政部：10.1007/978-3-540-68863-1_3·电话：10.1007/978-3-540-68863-1_3
[4] 内政部：10.1007/BFb0053567·doi:10.1007/BFb0053567
[5] 数字对象标识码：10.1007/11841197_3·doi:10.1007/11841197_3
[6] Springer计算机科学课堂讲稿4421 pp 509–（1993）
[7] 内政部：10.1007/978-3-540-78663-4_17·doi:10.1007/978-3-540-78663-4_17
[8] DOI:10.1007/978-3642-03459-6_5·Zbl 1252.68106号 ·doi:10.1007/978-3-642-03459-65
[9] 内政部：10.1007/3-540-49099-X_6·doi:10.1007/3-540-49099-X_6
[10] 内政部：10.1007/978-3-540-68265-3_2·doi:10.1007/978-3-540-68265-32
[11] DOI:10.1007/978-3-540-73196-2_5·Zbl 1215.68148号 ·doi:10.1007/978-3-540-73196-2_5
[12] 内政部：10.1007/978-3-540-71389-0_4·Zbl 1195.68027号 ·数字对象标识代码：10.1007/978-3-540-71389-04
[13] 内政部：10.1007/11888116_4·doi:10.1007/11888116_4
[14] DOI:10.1016/j.scico.2008.02.001·Zbl 1146.68050号 ·doi:10.1016/j.scico.2008.02.001
[15] Springer计算机科学讲稿3705 pp 299–（2007）
[16] 内政部：10.1007/978-3-540-68679-8_40·Zbl 1143.68469号 ·doi:10.1007/978-3-540-68679-840
[17] DOI:10.1016/j.entcs.2009.07.071·兹比尔1339.68157 ·doi:10.1016/j.entcs.2009.07.071
[18] DOI:10.1016/j.tcs.2008.08.017·Zbl 1157.68050号 ·doi:10.1016/j.tcs.2008.08.017
[19] 内政部：10.1007/11767954_6·doi:10.1007/117679546
[20] 《持久性有机污染物公约》会议记录第261页（2008年）
[21] 内政部：10.1007/11841197_10·doi:10.1007/11841197_10
[22] DOI:10.1007/978-3-642-01918-0_5·doi:10.1007/978-3642-01918-05
[23] 内政部：10.1007/978-3-540-85361-9_32·Zbl 1160.68459号 ·doi:10.1007/978-3-540-85361-9_32
[24] 内政部：10.1007/978-3-540-71316-6_2·Zbl 1187.68064号 ·doi:10.1007/978-3-540-71316-6_2
[25] 莱布尼茨国际信息学会议录8第338页–（2010年）
[26] 内政部：10.1007/978-3-540-78739-6_21·Zbl 1133.68388号 ·数字对象标识代码：10.1007/978-3-540-78739-6_21
[27] 内政部：10.1007/11767954_5·doi:10.1007/11767954_5
[28] 施普林格计算机科学讲义6582（2011）
[29] 内政部：10.1007/978-3-540-71316-6_3·Zbl 1187.68063号 ·doi:10.1007/978-3-540-71316-63
[30] DOI:10.1016/j.tcs.2008.04.037·Zbl 1147.68436号 ·doi:10.1016/j.tcs.2008.04.037
[31] 内政部：10.1007/978-3-540-79980-1_8·Zbl 1170.68428号 ·doi:10.1007/978-3-540-79980-18
[32] DOI:10.1023/A:1022883727209·doi:10.1023/A:1022883727209
[33] IFIP-TCS’04会议记录第569页–（2004）
[34] Springer计算机科学讲稿6921 pp 259–（2010）
[35] 内政部：10.1007/978-3-540-68265-3_5·doi:10.1007/978-3-540-68265-35
[36] DOI:10.1007/s10270-006-0012-1·doi:10.1007/s10270-006-0012-1
[37] 计算机科学科学年鉴20，第53页–（2010年）
[38] 内政部：10.1016/0890-5401（92）90008-4·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4
[39] DOI:10.1007/978-3-642-00945-7_5·doi:10.1007/978-3-642-00945-7_5
[40] 数字对象标识码：10.1007/11539452_30·doi:10.1007/11539452_30
[41] 内政部：10.1007/978-3-540-68265-3_14·doi:10.1007/978-3-540-68265-3_14
[42] DOI:10.1007/978-3-642-01918-0_1·doi:10.1007/978-3-642-01918-0_1
[43] 内政部：10.1007/978-3-540-71316-6_4·Zbl 1187.68070号 ·doi:10.1007/978-3-540-71316-64
[44] 《基础信息》89第451页–（2008年）
[45] 内政部：10.1007/978-3-540-31982-5_18·doi:10.1007/978-3-540-31982-5_18
[46] 内政部：10.1007/978-3-540-72794-1_6·doi:10.1007/978-3-540-72794-16
[47] 内政部：10.1007/978-3-540-68679-8_42·Zbl 1143.68330号 ·文件编号：10.1007/978-3-540-68679-8_42
[48] 数字对象标识码：10.1007/s002360050124·Zbl 0908.68103号 ·doi:10.1007/s002360050124
[49] 2007年SEFM会议记录第305页–（2007）
[50] 2008年POPL会议记录第273页–（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。