×
乌里·法伦贝格;金·古德斯特兰·拉森;Legay、Axel;路易斯·马里·特劳努埃兹

模态转换系统的参数和定量扩展。 （英语） Zbl 1416.68121号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).
概要：模态转换系统为反应系统提供了行为和成分规范形式。我们研究了模态转换系统的两个扩展：带参数规范的参数模态转换系统和定量规范的加权模态转换系统。
关于整个系列，请参见[Zbl 1291.68012号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。8415、84-97（2014年；Zbl 1416.68121）
全文： 内政部

参考文献：

[1] Bauer，S.S.、Fahrenberg，U.、Juhl，L.、Larsen，K.G.、Legay，A.、Thrane，C.：加权模态转换系统的定量细化。收录：Murlak，F.，Sankowski，P.（编辑）MFCS 2011。LNCS，第6907卷，第60-71页。斯普林格，海德堡（2011）·Zbl 1343.68150号 ·doi:10.1007/978-3-642-22993-09
[2] Bauer，S.S.、Fahrenberg，U.、Legay，A.、Thrane，C.：一般定量规范理论与模式。收录人：Hirsch，E.A.，Karhumäki，J.，Lepistö，A.，Prilutskii，M.（编辑）CSR 2012。LNCS，第7353卷，第18-30页。斯普林格，海德堡（2012）·Zbl 1360.68576号 ·doi:10.1007/978-3-642-30642-63
[3] Bauer，S.S.，Juhl，L.，Larsen，K.G.，Legay，A.，Srba，J.：用结构化标签扩展模态转换系统。计算机科学中的数学结构22（4），581–617（2012）·Zbl 1277.68160号 ·doi:10.1017/S0960129511000697
[4] Beneš，N.，Křetínsk \345]，J.，Larsen，K.G.，Möller，M.H.，Srba，J.：参数模态转换系统。收录：Bultan，T.，Hyung，P.-A.（编辑）ATVA 2011。LNCS，第6996卷，第275–289页。斯普林格，海德堡（2011）·Zbl 1348.68120号 ·doi:10.1007/978-3-642-24372-120
[5] Beneš，N.，Křetínsk \345]，J.：模态转换系统的过程代数。输入：MEMICS。OASICS，第16卷，第9-18页。德国莱布尼兹·泽特鲁姆·富尔信息技术学院（2010年）·Zbl 1247.68183号
[6] Boudol，G.，Larsen，K.G.：图形与逻辑规范。收录：Arnold，A.（编辑）CAAP 1990。LNCS，第431卷，第57-71页。斯普林格，海德堡（1990）·Zbl 0759.68059号 ·doi:10.1007/3-540-52590-440
[7] 乔恩？P.、亨廷格T.A.、拉德哈克里什纳A.：模拟距离。西奥。计算。科学。 413(1), 21–35 (2012) ·Zbl 1234.68253号 ·doi:10.1016/j.tcs.2011.08.002
[8] de Alfaro，L.、Faella，M.、Henzinger，T.A.、Majumdar，R.、Stoelinga，M.:模型检查贴现时间属性。西奥。计算。科学。 345(1), 139–170 (2005) ·Zbl 1079.68062号 ·doi:10.1016/j.tcs.2005.07.033
[9] de Alfaro，L.，Faella，M.，Stoelinga，M.:线性和分支系统度量。IEEE传输。软件工程35（2），258–273（2009）·doi:10.1109/TSE.2008.106
[10] Fahrenberg，U.，Legay，A.，Thrane，C.：定量线性时间-分支时间谱。输入：FSTTCS。LIPIcs，第13卷，第103–114页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2011年）·Zbl 1246.68153号
[11] Fahrenberg，U.，Legay，A.，Traonouez，L.-M.：概率和实时系统的规范理论。参见：Bensalem，S.、Lakhnech，Y.、Legay，A.（编辑）FPS 2014（Sifakis Festschrift）。LNCS，第8415卷，第98–117页。斯普林格，海德堡（2014）·Zbl 1416.68112号
[12] Fahrenberg，U.，Thrane，C.R.，Larsen，K.G.：加权过渡系统的距离：游戏和属性。输入：QAPL。电气。程序。西奥。计算。科学。，第57卷，第134-147页（2011年）·Zbl 1216.68191号 ·doi:10.420/EPTCS.57.10
[13] Fecher，H.，Schmidt，H.：将析取模态转换系统与单选变体进行比较。J.逻辑算法。程序。77（1-2），20–39（2008）·Zbl 1151.68035号 ·doi:10.1016/j.jlap.2008.05.003
[14] Godefroid，P.，Huth，M.，Jagadeesan，R.：使用模态转换系统的基于抽象的模型检查。In：Larsen，K.G.，Nielsen，M.（编辑）CONCUR 2001。LNCS，第2154卷，第426–440页。斯普林格，海德堡（2001）·Zbl 1006.68077号 ·doi:10.1007/3-540-44685-0_29
[15] Graf，S.，Sifakis，J.：描述非确定性程序及其属性的逻辑。信息控制68（1-3），254–270（1986）·Zbl 0591.68017号 ·doi:10.1016/S0019-9958（86）80038-9
[16] Gruler，A.，Leucker，M.，Scheitemann，K.：建模和模型检查软件产品线。收录：Barthe，G.，de Boer，F.S.（编辑）FMOODS 2008。LNCS，第5051卷，第113-131页。斯普林格，海德堡（2008）·Zbl 05288312号 ·doi:10.1007/978-3-540-68863-1_8
[17] Holmström，S.：Hennessy-Milner逻辑中使用递归的规范精化演算。正式Asp。计算。 1(3), 242–272 (1989) ·Zbl 0696.68037号 ·doi:10.1007/BF01887208
[18] Huth，M.，Jagadeesan，R.，Schmidt，D.A.：模态转换系统：三值程序分析的基础。摘自：Sands，D.（编辑）《2001年员工持股计划》。LNCS，第2028卷，第155-169页。斯普林格，海德堡（2001）·Zbl 0987.68849号 ·doi:10.1007/3-540-45309-111
[19] Juhl，L.，Larsen，K.G.，Srba，J.：具有权重区间的模态转换系统。J.日志。阿尔盖布。程序。 81(4), 408–421 (2012) ·Zbl 1243.68215号 ·doi:10.1016/j.jlap.2012.03.008
[20] Larsen，K.G.：过程之间的上下文相关等价。西奥。计算。科学。 49, 184–215 (1987) ·Zbl 0612.68027号 ·doi:10.1016/0304-3975（87）90007-7
[21] Larsen，K.G.：模态规范。收录：Sifakis，J.（编辑）CAV 1989。LNCS，第407卷，第232–246页。斯普林格，海德堡（1990）·doi:10.1007/3-540-52148-8_19
[22] Larsen，K.G.，Nyman，U.，Wńsowski，A.：关于模态的精化和一致性。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，第4703卷，第105-119页。斯普林格，海德堡（2007）·Zbl 1151.68541号 ·doi:10.1007/978-3-540-74407-8_8
[23] Larsen，K.G.，Thomsen，B.：模态过程逻辑。收录于：LICS，第203-210页。IEEE计算机学会（1988）·doi:10.1109/LICS.1988.5119
[24] Larsen，K.G.，Xinxin，L.：使用模态转换系统求解方程。收录于：LICS，第108–117页。IEEE计算机学会（1990）·doi:10.1109/LICS.1990.113738
[25] Mardare，R.，Policriti，A.：基于进程的空间逻辑的完整公理系统。收录：Ochmaánski，E.，Tyszkiewicz，J.（编辑）MFCS 2008。LNCS，第5162卷，第491-502页。斯普林格，海德堡（2008）·Zbl 1173.03307号 ·doi:10.1007/978-3-540-85238-440
[26] Nanz，S.、Nielson，F.、Riis-Nielson，H.：并发行为的模态抽象。收录：Alpunte，M.，Vidal，G.（编辑）SAS 2008。LNCS，第5079卷，第159-173页。斯普林格，海德堡（2008）·Zbl 1149.68407号 ·doi:10.1007/978-3-540-69166-2_11
[27] Raclet，J.-B.，Badouel，E.，Benveniste，A.，Caillaud，B.，Passerone，R.：为什么模态对界面理论有好处？收录于：ACSD，第119-127页。IEEE（2009）·doi:10.1109/ACSD.2009.22
[28] Uchitel，S.，Chechik，M.：合并部分行为模型。摘自：FSE，第43-52页。ACM（2004）·数字对象标识代码：10.1145/1029894.1029904
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。