×
塞巴斯蒂安·鲍尔。;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;吉·斯尔巴

使用结构化标签扩展模态转换系统。 （英语） Zbl 1277.68160号

数学。结构。计算。科学。 22，第4期，581-617（2012）。
摘要：我们介绍了标签结构模态转换系统的一种新形式，它将转换的经典可能/必须模态与表示模型定量方面的结构化标签相结合。一方面，规范形式足够普遍，可以包括加权模态转换系统等模型，并允许系统开发人员使用比以前研究的理论更复杂的标签细化。另一方面，形式主义保持了支持组合推理的任何规范理论所需的理想属性。特别地，我们研究了标签结构模态转换系统的模态和彻底细化、确定、并行组合、连接、商和逻辑特征。

引用于9文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学

关键词：

模态转换系统;结构化标签;精细化;确定性

软件：

MIO工作台
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，数学。结构。计算。科学。22，第4号，581--617（2012；Zbl 1277.68160）
全文： 内政部

参考文献：

[1] 内政部：10.1016/0304-3975（83）90114-7·Zbl 0512.68026号 ·doi:10.1016/0304-3975（83）90114-7
[2] van Glabbeek，Springer-Verlag计算机科学讲稿458 pp 278–（1990）·doi:10.1007/BFb0039066
[3] Bruns，Springer-Verlag 1877年计算机科学讲稿第168页–（2000）·doi:10.1007/3-540-44618-4_14
[4] Larsen，Springer Verlag计算机科学讲义4421第64页–（2007）·Zbl 1187.68296号 ·doi:10.1007/978-3-540-71316-6
[5] 内政部：10.1016/0304-3975（92）90276-L·Zbl 0776.68084号 ·doi:10.1016/0304-3975（92）90276-L
[6] Bertrand，Springer-Verlag计算机科学讲稿5457 pp 152–（2009）·Zbl 1234.68250号 ·doi:10.1007/978-3-642-00982-2_13
[7] Larsen，Springer Verlag计算机科学讲义3395第79页–（2004）·doi:10.1007/978-3-540-31848-46
[8] Bertrand，Springer-Verlag计算机科学讲稿5885 pp 679–（2009）·doi:10.1007/978-3-642-10373-5_35
[9] Larsen，Springer-Verlag计算机科学讲稿3442 pp 160–（2005）·doi:10.1007/978-3-540-31984-9_13
[10] DOI:10.1016/j.tcs.2009.06.009·Zbl 1186.68314号 ·doi:10.1016/j.tcs.2009.06.009
[11] Larsen，LICS第203页–（1988）
[12] Beneš，Springer-Verlag计算机科学讲座笔记5684 pp 112–（2009）·Zbl 1250.68117号 ·doi:10.1007/978-3-642-03466-47
[13] Larsen，Springer-Verlag计算机科学讲稿324 pp 414–（1988）·doi:10.1007/BFb0017164
[14] Bauer，Springer-Verlag计算机科学讲稿6015 pp 175–（2010）·Zbl 1284.68339号 ·doi:10.1007/978-3-642-12002-2_15
[15] 内政部：10.1016/0890-5401（92）90025-B·Zbl 0753.68067号 ·doi:10.1016/0890-5401（92）90025-B
[16] DOI:10.1016/j.entcs.2006.04.004·doi:10.1016/j.entcs.2006.04.004
[17] Larsen，Springer-Verlag计算机科学讲稿267 pp 126–（1987）·doi:10.1007/3-540-18088-5_11
[18] Adler，Springer-Verlag计算机科学讲稿4144 pp 59–（2006）·数字对象标识代码：10.1007/118179638
[19] Larsen，Springer-Verlag计算机科学课堂讲稿407 pp 232–（1989）·doi:10.1007/3-540-52148-8_19
[20] 内政部：10.1016/0304-3975（87）90007-7·Zbl 0612.68027号 ·doi:10.1016/0304-3975（87）90007-7
[21] Larsen，Springer-Verlag计算机科学课堂讲稿194 pp 373–（1985）·doi:10.1007/BFb0015763
[22] Katoen，Springer-Verlag计算机科学讲座笔记5813 pp 195–（2009）·Zbl 1262.68142号 ·doi:10.1007/978-3642-04368-0_16
[23] Hoare，通信顺序过程（1985）·Zbl 0637.68007号
[24] 内政部：10.1145/363235.363259·Zbl 0179.23105号 ·doi:10.1145/363235.363259
[25] DOI:10.145/2455.2460·Zbl 0629.68021号 ·doi:10.1145/2455.2460
[26] Gruler，SPLC第203页–（2008）
[27] 内政部：10.1007/978-1-4612-6228-2·doi:10.1007/978-1-4612-6228-2
[28] Godefroid，Springer-Verlag计算机科学讲稿2154 pp 426–（2001）·doi:10.1007/3-540-44685-0_29
[29] 内政部：10.1145/1147249.1147254·doi:10.1145/1147249.1147254
[30] 内政部：10.1007/s10626-006-0008-6·Zbl 1116.93037号 ·doi:10.1007/s10626-006-0008-6
[31] Delahaye，Springer-Verlag计算机科学讲稿6538 pp 324–（2011）·Zbl 1317.68095号 ·doi:10.1007/978-3642-18275-423
[32] de Alfaro，Springer-Verlag计算机科学课堂讲稿2491 pp 108–（2002）·doi:10.1007/3-5440-45828-X_9
[33] Stoy，《指称语义学：Scott–Strachey编程语言理论方法》（1977年）
[34] de Alfaro，Springer-Verlag计算机科学讲稿3717 pp 81–（2005）·doi:10.1007/11559306_5
[35] Stirling，Springer-Verlag计算机科学课堂讲稿407 pp 166–（1989）·doi:10.1007/3-540-52148-8_14
[36] 数字对象标识码：10.1007/1-4020-3532-2_3·数字对象标识代码：10.1007/1-4020-3532-2-3
[37] 内政部：10.1016/0304-3975（87）90012-0·Zbl 0624.68019号 ·doi:10.1016/0304-3975（87）90012-0
[38] de Alfaro，第八届ESEC和第九届ACM SIGSOFT FSE会议记录第109页–（2001）
[39] DOI:10.1016/j.entcs.2008.06.023·doi:10.1016/j.entcs.2008.06.023
[40] 内政部：10.1145/1755952.1755967·Zbl 1361.68143号 ·doi:10.1145/1755952.1755967
[41] 内政部：10.1109/QEST.2010.23·doi:10.1109/QEST.2010.23
[42] 内政部：10.1145/337244.337261·Zbl 1094.68591号 ·doi:10.1145/337244.337261
[43] Park，Springer-Verlag计算机科学课堂讲稿104 pp 167–（1981）·doi:10.1007/BFb0017309
[44] Milner，Springer-Verlag计算机科学讲稿92（1980）·doi:10.1007/3-540-10235-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。