×

兹马思-数学第一资源

为异步定时会话类型输入紧急语义。(英语) Zbl公司 1431.68078
摘要:我们研究了异步定时会话类型的一种紧急语义,在这种语义中,输入动作尽可能快地发生,灵感来自于常见的编程原语。我们引入了异步会话类型的概念,以确保最终的死锁遵从性。与未命名的情况一样,异步遵从性是不可判定的。然后,我们展示了同步遵从性(在前面的工作中是可判定的)是异步遵从性的合理近似。
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68问55 计算理论中的语义学
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 围棋程序设计语言
[2] 阿鲁尔,拉吉耶夫;时间自动机理论,理论。计算机。科学,126,2183-235,(1994)·Zbl公司 803.68071
[3] 阿兹,尼古拉;Bartoletti,Massimo,与diogenes一起开发诚实的java程序(FORTE 2016)。FORTE 2016,LNCS,第9688卷,(2016),施普林格),52-61
[4] 巴贝内拉,佛朗哥;de'Liguoro,Ugo,基于会话的客户机/服务器系统的子行为关系,数学。结构。计算机。科学,25,6,1339-1381,(2015年)·Zbl公司 1361.68159
[5] 巴托莱蒂,马西莫;波奇,劳拉;Murgia,Maurizio,CTA的进步保持改进,(同意。CONCUR,LIPIcs,第118卷,(2018年),Schloss Dagstuhl-Leibniz Zentrum fuer Informatik),40:1-40:19
[6] 巴托莱蒂,马西莫;提兹亚纳西莫利;Murgia,Maurizio,定时会话类型,日志。方法计算。科学,13,4,(2017年)·Zbl公司 1398.68356
[7] 巴托莱蒂,马西莫;提兹亚纳西莫利;穆贾,毛里齐奥;波达,亚历山德罗塞巴斯蒂安;Pompianu,Livio,面向合同的中间件(FACS。FACS,LNCS,第9539卷,(2015),施普林格),86-104
[8] 巴托莱蒂,马西莫;穆贾,毛里齐奥;斯卡拉斯,阿尔切斯特;《面向契约系统的可验证抽象》,J。日志。代数方法程序,86,1159-207,(2017)·Zbl公司 1353.68194
[9] 巴托莱蒂,马西莫;斯卡拉斯,阿尔切斯特;《会话类型的语义解构》(Proc。同意。程序。CONCUR,LNCS,第8704卷,(2014年),斯普林格出版社,402-418·Zbl公司 1417.68115
[10] 巴苏、萨米克;Bultan,Tevfik,关于决定异步通信系统的同步能力,理论。计算机。科学,656,60-75,(2016年)·Zbl公司 1353.68195
[11] 贝尔曼,格尔德;大卫,亚历山大;Larsen,Kim G.,关于Uppaal(实时系统设计的正式方法)的教程。实时系统设计的形式化方法,LNCS,第3185卷,(2004),Springer),200-236·Zbl公司 1105.68350
[12] 伯索米厄,伯纳德;Diaz,Michel,使用时间petri网对时间相关系统进行建模和验证,IEEE Trans。软。工程学,17,3,259-273,(1991年)
[13] 波奇,劳拉;兰格,朱利安;吉田,Nobuko,一起完成最后期限,(同意。CONCUR,LIPIcs,第42卷,(2015年),Schloss Dagstuhl-Leibniz Zentrum fuer Informatik),283-296·Zbl公司 1374.68320
[14] 波奇,劳拉;穆贾,毛里齐奥;瓦康塞洛斯,瓦斯科;从同步进程到同步会话类型。ESOP,《计算机科学课堂讲义》,第11423卷,(2019年),斯普林格,583-610
[15] 波奇,劳拉;杨维珍;Yoshida,Nobuko,定时多方会话类型,(CONCUR。CONCUR,LNCS,第8704卷,(2014年),施普林格,419-434·Zbl公司 1417.68117
[16] 波诺,Sé巴斯蒂安;斯法基斯,约瑟夫;Tripakis,Stavros,《时间系统中的紧急性建模》(COMPOS。科莫斯,LNCS,第1536卷,(1997年),斯普林格,103-129
[17] 艾哈迈德·布瓦贾尼;埃尼亚,康斯坦丁;季开良;Qadeer,Shaz,关于在有界异步下验证消息传递程序的完备性,(CAV(2))。CAV(2),《计算机科学课堂讲义》,第10982卷,(2018年),斯普林格,372-391
[18] 布兰德,丹尼尔;张国平,张国平,通信有限状态机,J。ACM,30,2323-342,(1983年)·Zbl公司 512.68039
[19] 卡斯塔格纳,朱塞佩;迪扎尼-西亚卡格里尼,马里安戈拉;贾奇诺,埃琳娜;Padovani,Luca,会话类型基础,(PPDP,(2009),ACM),219-230
[20] 卡斯塔格纳,朱塞佩;杰斯伯特,尼尔斯;Padovani,Luca,web服务契约理论,ACM Trans。程序。语言系统,31,5,(2009)·Zbl公司 1295.68080
[21] 迪扎尼-西亚卡格里尼,马里安戈拉;de'Liguoro,Ugo,会话和会话类型:概述,(WS-FM。WS-FM,LNCS,第6194卷,(2009),斯普林格),1-28
[22] 芬克尔,阿兰;青铜器,Étienne,通信有限状态机的同步能力是不可判定的,(ICALP。ICALP,LIPIcs,第80卷,(2017年),Schloss Dagstuhl-Leibniz Zentrum fuer Informatik),122:1-122:14
[23] 本田、科海;瓦康塞洛斯,瓦斯科;库波,Makoto,基于结构化通信编程的语言原语和类型规程(ESOP)。ESOP,LNCS,第1381卷,(1998年),斯普林格,122-138
[24] 本田、科海;吉田信子;Carbone,Marco,多方异步会话类型,J。ACM,63,1,9:1-9:67,(2016年)·Zbl公司 1426.68047
[25] Krc公司ál、 帕维尔;易,王,通讯时间自动机:越同步,越难验证,(CAV。CAV,LNCS,第4144卷,(2006年),施普林格,249-262·Zbl公司 1188.68192
[26] 兰格,朱利安;托斯托,埃米利奥;Yoshida,Nobuko,《从通信机器到图形编排》,(POPL,(2015),ACM),221-232·Zbl公司 1346.68136
[27] 兰格,朱利安;Yoshida,Nobuko,关于异步会话子类型的不可判定性(FOSSACS)。FOSSACS,LNCS,第10203卷,(2017年)),441-457·Zbl公司 06721005
[28] Murgia,Maurizio,《关于异步定时会话类型的紧迫性》(ICE,(2018年))
[29] 尼科娃,鲁米亚娜;波奇,劳拉;Yoshida,Nobuko,多方对话的定时运行时监控,表单。Asp。计算机,29,5877-910,(2017年)·Zbl公司 1375.68030
[30] 尼克林,泽维尔;周国平,周永康,时间过程代数的综述与综合,(CAV,(1991)),376-398
[31] Catuscia,Palamidessi,比较同步和异步pi计算的表达能力,数学。结构。计算机。科学,13,5,685-719,(2003年)
[32] Takeuchi,Kaku;本田、科海;一种基于交互的语言及其类型系统。帕尔,LNCS,第817卷,(1994年),斯普林格,398-413
[33] Yi,Wang,CCS+time=实时系统的交错模型(ICALP。ICALP,《计算机科学讲义》,第510卷,(1991年),斯普林格,217-228·Zbl公司 769.68027
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。