×

数据丰富的实时系统的结构转换。 (英语) Zbl 1319.68150号

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
第68季度第45季度 形式语言和自动机
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alur R.,Dill D.(1994)时间自动机理论。TCS 126(2):183-235·兹比尔0803.68071 ·doi:10.1016/0304-3975(94)90010-8
[2] Behrmann G、David A、Larsen KG(2004)《Uppaal教程》。In:实时系统设计的形式化方法,LNCS第3185卷。斯普林格·弗拉格,柏林-海德堡,第200-236页·兹比尔1105.68350
[3] Bengtsson J,Jonsson B,Lilius J,Yi W(1998),定时系统的部分降阶。收录于:LNCS第1466卷,Sangiorgi D,de Simone R(eds)CONCUR。柏林-海德堡施普林格-弗拉格出版社,第485-500页
[4] Bochmann GV(1979)分布式同步和规则性。计算网络3:36-43
[5] Bochmann GV(1988)分布式系统的延迟相关设计。IEEE Trans Softw Eng 14(8):1229-1237·数字对象标识代码:10.1109/32.7630
[6] Bouyer P,Petit A(1999)时间自动机的分解与合成。收录人:Wiedermann J、van Emde Boas P、Nielsen M(eds)ICALP,LNCS第1644卷。柏林-海德堡施普林格-弗拉格出版社,第210-219页·兹伯利0946.68094
[7] Bornot S,Sifakis J(2000)紧急情况的代数框架。Inf计算163:172-202·Zbl 1007.68119号 ·doi:10.1006/inco.2000.2999
[8] Comon H,Jurski Y(1999)《时间自动机与实数理论》。收录:Baeten JCM,Mauw S(eds)CONCUR,LNCS第1664卷。斯普林格·弗拉格,柏林-海德堡,第242-257页·Zbl 0940.68092号
[9] Chandy KM,Misra J(1988)《并行程序设计——基础》。Addison Wesley,美国·Zbl 0717.68034号
[10] Cohen E(2000)分离与还原。收录:Backhouse RC,Oliveira JN(eds)《程序构造数学》,LNCS第1837卷。斯普林格·弗拉格,柏林-海德堡,第45-59页·Zbl 0963.68504号
[11] Chaouch-Saad M,Charron-Bost B,Merz S(2009)基于圆的分布式算法验证的简化定理。收录于:Bournez O,Potapov I(eds)Reachability problems,LNCS第5797卷。柏林-海德堡施普林格-弗拉格出版社,第93-106页·Zbl 1260.68450号
[12] 董建生,郝鹏,秦S,孙杰,易伟(2008)时间自动机模式。IEEE Trans Softw工程34(6):844-859·doi:10.1109/TSE.2008.52
[13] Dräger K,Kupriyanov A,Finkbeiner B,Wehrheim H(2010)Slab:无限状态并发系统的认证模型检查器。In:Esparza J,Majumdar R(eds)TACAS,LNCS第6015卷,第271-274页
[14] Elrad T,Francez N(1982)将分布式程序分解为通信封闭层。科学计算程序2:155-173·Zbl 0514.68033号 ·doi:10.1016/0167-6423(83)90013-8
[15] Haakansson J,Pettersson P(2007),实时组件验证的部分降阶。收录于:Raskin J.-F,Thiagarajan PS(eds)FORMATS,LNCS第4763卷。柏林-海德堡施普林格-弗拉格出版社,第211-226页·Zbl 1141.68468号
[16] Havelund K,Skou A,Larsen KG,Lund K(1997)音频/视频协议的形式化建模和分析:使用uppaal的工业案例研究。包含:RTSS。IEEE计算机学会,第2-13页
[17] Janssen W(1994)并行系统的分层设计。特温特大学博士论文
[18] Janssen W,Poel M,Xu Q,Zwiers J(1994)实时分布式进程的分层。收录:Langmaack H,de Roever WP,Vytopil J(eds)FTRTFT,LNCS第863卷。柏林-海德堡施普林格-弗拉格出版社,第393-417页·Zbl 0514.68033号
[19] Kushilevitz E,Rabin MO(1992),重新审视随机互斥算法。输入:PODC。ACM出版社,第275-283页·Zbl 1370.68318号
[20] Lugiez D,Niebert P,Zennou S(2005)时间自动机时钟爆炸问题的部分顺序语义方法。Theor Compute Sci计算机科学345:27-59·Zbl 1079.68052号 ·doi:10.1016/j.tcs.2005.07.23文件
[21] Larsen KG、Steffen B和Weise C(1996)重温了Fischer的协议:使用模态约束的简单证明。In:Alur R,Henzinger TA,Sontag ED(eds)Hybrid systems,LNCS第1066卷。柏林-海德堡施普林格-弗拉格出版社,第604-615页
[22] Milner R(1986)通信与并发。美国普伦蒂斯·霍尔·Zbl 0683.68008号
[23] Minea M(1999)时间自动机模型检查的部分降阶。收录:Baeten JCM,Mauw S(eds)CONCUR,LNCS第1664卷。柏林-海德堡Springer-Verlag出版社,第431-436页·Zbl 0939.68085号
[24] Muniz M、Westphal B、Podelski A(2012)《活动不相交的时间自动机》。收录于:Jurdzinski M,Nickovic D(eds)FORMATS,LNCS第7595卷。斯普林格·弗拉格,柏林-海德堡,第188-203页·Zbl 1374.68263号
[25] Olderog E.-R,Dierks H(2008)实时系统——形式规范和自动验证。剑桥大学出版社·Zbl 1161.68030号 ·doi:10.1017/CBO9780511619953
[26] Olderog E.-R,Swaminathan M(2010)时间自动机的分层合成。收录于:Chatterjee K,Henzinger TA(eds)FORMATS,LNCS第6246卷。柏林-海德堡施普林格-弗拉格出版社,第228-242页·Zbl 1290.68078号
[27] Olderog E.-R,Swaminathan M(2013),数据丰富的实时系统的结构转换。收录:Johnsen EB,Petre L(eds)iFM,LNCS第7940卷。柏林-海德堡施普林格-弗拉格出版社,第378-393页
[28] Peter H.-J,Mattmüller R(2009),基于组件的定时控制器综合抽象细化。包含:RTSS。IEEE计算机学会,第364-374页
[29] Stomp FA,de Roever W.-P(1994)关于分布式算法的顺序推理原理。表Asp计算6(6):716-737·Zbl 0829.68066号 ·doi:10.1007/BF03259394
[30] Sharma A,Katoen J.-P(2014)抽象概率自动机的分层约简。输入:ACSD。IEEE计算机协会(即将推出)
[31] Sharma A,Katoen J.-P(2014)模态规范理论的分层简化。在:刘菲亚代罗,刘Z,薛J(编辑)FACS,第8348卷LNCS。柏林-海德堡施普林格-弗拉格
[32] Swaminathan M,Katoen J.-P,Olderog E.-R(2012)随机分布式算法的分层推理。表Asp计算24:477-496·Zbl 1259.68114号 ·doi:10.1007/s00165-012-0231-x
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。