×

兹马思-数学第一资源

论LTS算子与其它LTS算子的可构造性与不可构造性。(英语) 兹布1328.68140
摘要:LTS算子可以从一组LTS算子构造到等价的当且仅当存在一个LTS表达式,它只包含集合中的算子,并且其结果与该算子的结果等价。在本出版物中,这一理念在每个LTS都有自己的字母表且操作员可能依赖于字母表的情况下变得精确。然后研究了LTS算子的可构造性。大多数(如果不是全部)已建立的LTS运算符都具有这样一个属性:结果的每个跟踪都是由其参数LTS的不超过一个跟踪的执行而产生的,对于无限跟踪也是如此。并比较了一些等价的充要条件,证明了这些充要条件的等价性。此外,还收集了其他各种可构造性和不可构造性结果。

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
关键词:
标记过渡系统
软件:
洛托斯
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 乙酰乙酸;福金克,WJ;维霍夫,C;柏格斯特拉,JA(编辑版);庞塞,A(编辑);Smolka,SA(编辑),《结构操作语义学》,197-292,(2001),阿姆斯特丹·Zbl 1062.68074
[2] 阿诺德,A.:有限过渡系统。普伦蒂斯·霍尔,恩格尔伍德悬崖(1994)·Zbl 0796.68141
[3] 澳大利亚,D;Boudol,G,Algèbre de processus et Synchronization,Theoret。计算机。科学,30,91-131,(1984)·Zbl 0533.68026
[4] 布鲁姆,B,弱交互的结构操作语义学,理论。计算机。科学,146,25-68,(1995)·Zbl 0873.68130
[5] 博洛涅西;简介ISO规范语言LOTOS,计算机。网络。ISDN系统,14,25-59,(1987)
[6] 布多尔,G;Apt,K(ed.),过程代数计算注释,261-303,(1985),柏林
[7] Simone,R,meije SCCS中的高级同步设备,理论。计算机。科学,37245-267,(1985年)·Zbl 0598.68027
[8] 吉布森·罗宾逊,T;韦尔奇博士(编辑);巴恩斯,医学博士(编辑);布罗宁克,JF(编辑版);查默斯,K(编辑);彼得森,JB(编辑版);Sampson,AT(编辑),《类CSP语言的有效模拟》,185-204,(2013),Bicester
[9] Gorla,D.走向过程计算可编码性和分离结果的统一方法,Inf.Comput.,2081031-1053,(2010)·Zbl 1209.68336
[10] Kaivola,R.,Valmari,A.:保持次时态线性时序逻辑的最弱组合语义等价。In:Cleaveland,R.(编辑)CONCUR'92,第三届并发理论国际会议,计算机科学讲义,第630卷,第207-221页(1992)
[11] karisto,K.:验证工具的一种新的并行组合算子。技术博士。论文,坦佩雷理工大学出版物420,坦佩雷,芬兰(2003年)
[12] Manna,Z.,Pnueli,A.:反应式和并发系统的时序逻辑,第一卷:规范。斯普林格,柏林(1992)·Zbl 0753.68003
[13] 米尔纳:沟通与并发。普伦蒂斯·霍尔,恩格尔伍德悬崖(1989)·Zbl 0683.68008
[14] 伦辛克,A;沃格勒,W,公平测试,信息计算,205125-198,(2007)·Zbl 1109.68077
[15] Roscoe,A.W.:理解并发系统。斯普林格,海德堡(2010)·Zbl 1211.68205
[16] Valmari,A:基于失败的等价比很多人认为的要快。在:Desel,J.(ed.)《并发理论中的结构》,1995年,Springer Verlag计算系列研讨会,第326-340页(1995年)
[17] Valmari,A,最弱死锁保持同余,Inf过程。利特,53341-346,(1995年)·Zbl 0875.68620
[18] Valmari,A.:过程代数的顽固集合方法。在:Peled,D.A.,Pratt,V.R.,Holzmann,G.J.(编辑),“验证中的偏序方法:DIMACS研讨会,离散数学和理论计算机科学中的DIMACS系列”,第卷。29,第213-231页。美国数学学会(1997)·Zbl 0882.68090
[19] Valmari,A.:无混沌故障使语义与验证应用发生分歧。作者:Davies,J.,Roscoe,B.,Woodcock,J.(编辑),《计算机科学中的千年观点》,《1999年牛津微软纪念托尼·霍尔爵士研讨会论文集》,帕尔格雷夫,第365-382页(2000年)·Zbl 1209.68336
[20] Valmari,A,熟悉算子的全线性时间同余,对数。计算方法。科学,9,1-34,(2013年)·Zbl 1314.68201
[21] 瓦尔马里,A;Tienari,M,《基于组合故障的基本LOTO语义模型》,形式方面计算,7440-468,(1995)·Zbl 0838.68076
[22] Glabbeek,R,关于弱互模拟的冷同余格式,理论。计算机。《科学》,41223283-3302,(2011年)·Zbl 1216.68199
[23] vanglabbeek,R.:关于编码和表现力的思考。In:Luttik,B.,Reniers,M.A.(编辑),《第19届并发表达性国际研讨会和第9届结构化操作语义学研讨会论文集》,《理论计算机科学电子论文集》,第89卷,第81-98页(2012年)
[24] vanglabbeek,R.,Weijland,W.:双模拟语义中的分支时间和抽象(扩展抽象)。In:Ritter,G.(编辑),《国际信息处理国际会议记录》,89年,第613-618页。北荷兰(1989)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。