×
托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨·施罗德

从泛型分区细化到加权树自动机最小化。 （英语） Zbl 1519.68126号

正式Asp。计算。 33，编号4-5，695-727（2021）.

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机
60J20型 马尔可夫链和离散时间马尔可夫过程在一般状态空间（社会流动、学习理论、工业过程等）上的应用
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）
68瓦40 算法分析

关键词：

分区细化;马尔可夫链;集块;最小化;加权树自动机

软件：

mCRL2型;M-树;BISIMULATOR（双模拟）;蒂布隆;棱镜;CADP公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《形式语法》。计算。33，编号4--5，695--727（2021；Zbl 1519.68126）
全文： DOI程序 arXiv公司
OA许可证

参考文献：

[1] Adams，S.，《有效集：平衡法案》，J Funct Program，3，4，553-561（1993）·doi:10.1017/S09567968800000885
[2] Awodey S（2010）《范畴理论》，《牛津逻辑指南》第52卷。牛津大学出版社，牛津，第2版·Zbl 1194.18001号
[3] C.伯克霍尔茨。；彭斯马，PS；Grohe，M.，标准颜色精炼复杂性的严格下限和上限，理论计算系统，60，4，581-614（2017）·Zbl 1368.68219号 ·doi:10.1007/s00224-016-9686-0
[4] Björklund J，Cleophas L（2020）《基于聚合的有限状态自动机最小化》。《信息学报》，2020年1月·Zbl 1490.68125号
[5] Bergamini D、Descoubes N、Joubert C、Mateescu R（2005）《BISIMULATOR：动态等效性检查的模块化工具》。收录于：《系统构建和分析的工具和算法》，TACAS 2005，LNCS第3440卷。施普林格，第581-585页·Zbl 1087.68583号
[6] 拜尔，C。；Engelen，B。；Majster-Cederbaum，M.，《确定概率过程的双相似性和相似性》，《计算系统科学杂志》，60，187-231（2000）·Zbl 1073.68690号 ·doi:10.1006/jcss.1999.1683
[7] 邦特，O。；格罗特，JF；Keiren Jeroen，JA；Laveaux，M。；Neele，T。；埃里克·P·德文克。；Wesselink，W。；Wijs，A。；Willemse Tim，AC，《用于分析并发系统的mCRL2工具集：表达性和可用性的改进，系统构建和分析的工具和算法》，TACAS，2019，21-39（2019）
[8] Bojañczyk，M.，Klin，B.，Lasota，S.：标称集中的自动机理论。测井方法计算科学10（3），（2014）·Zbl 1338.68140号
[9] Blom S，Orzan S（2006），状态空间的分布式分支互模拟简化。参见：并行和分布式模型检查，PDMC 2003，ENTCS第89卷。爱思唯尔，第99-113页·兹比尔1271.68133
[10] 布洛姆，S。；Orzan，S.，状态空间强互模拟约简的分布式算法，J Softw Tools Technol Transfer，7，1，74-86（2005）·doi:10.1007/s10009-004-0159-4
[11] Bartels F，Sokolova A，de Vink E（2003）概率系统类型的层次结构。收录于：计算机科学中的凝聚方法，CMCS 2003，ENTCS第82卷。爱思唯尔，第57-75页·Zbl 1270.68186号
[12] Buchholz，P.，加权自动机的互模拟关系，Theor Compute Sci，393，109-123（2008）·Zbl 1136.68032号 ·doi:10.1016/j.tcs.2007.11.018
[13] 科尔曼，T。；Leiserson，C。；Rivest，R.，《算法导论》（1990），剑桥：麻省理工学院出版社，剑桥·Zbl 1158.68538号
[14] Ciardo，G。；Trivedi，KS，随机报酬网模型的分解方法，执行评估，18，1，37-59（1993）·Zbl 0788.68105号 ·doi:10.1016/0166-5316（93）90026-Q
[15] Deifel H-P（2019）高效分区细化算法的实现与评估。弗里德里希·阿莱克山德爱尔兰根纽伦堡大学硕士论文，https://hpdeifel.de/master-thesis-deifel.pdf
[16] 德里萨维，S。；Hermanns，H。；Sanders，W.，马尔可夫链中的最优状态空间集总，Inf Process Lett，87，6，309-315（2003）·Zbl 1189.68039号 ·doi:10.1016/S0020-0190（03）00343-0
[17] Dorsch U，Milius S，Schröder L，Wißmann T（2017）《高效共代数划分精化》。《并发理论》，CONCUR 2017，LIPIcs第85卷，第32:1-32:16页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）·Zbl 1442.68112号
[18] Deifel H-P，Milius S，Schröder L，Wißmann T（2019）通用划分精化和加权树自动机。收录：ter Beek Maurice H、McIver Annabelle、Oliveira JoséN编辑，《形式方法-未来30年》，Cham，10。施普林格，第280-297页
[19] 多维尔，A。；C.广场。；Policriti，A.，计算互模拟等价性的有效算法，Theor Compute Sci，311,1-3，221-256（2004）·Zbl 1070.68101号 ·doi:10.1016/S0304-3975（03）00361-X
[20] 埃西克，Z。；Maletti，A.，《加权树自动机的模拟类别》，国际计算机科学杂志，221845-1859，12（2011）·Zbl 1244.68046号
[21] Garavel H，Hermanns H（2002）关于使用CADP结合功能验证和性能评估。在：欧洲正式方法，FME 2002，LNCS第2391卷。施普林格，第410-429页·Zbl 1064.68523号
[22] Groote JF，Jansen DN，Keiren Jeroen JA，Wijs Anton（2017）计算断续等价性和分支互模拟的O（mlogn）算法。ACM事务计算日志18（2）：13:1-13:34·Zbl 1367.68211号
[23] Gries，D.，《Hopcroft描述算法》，信息学报，297-109（1973）·Zbl 0242.94042号 ·doi:10.1007/BF00264025
[24] 格罗特，JF；威尔杜斯科，JR；de Vink，Erik P.，《确定概率互模拟的有效算法》，《算法》，第11、9、131页（2018年）·Zbl 1461.68133号 ·doi:10.3390/a11090131
[25] Högberg J，Maletti A，May J（2007），加权树自动机的互模拟最小化。收录于：语言理论发展，DLT 2007，LNCS第4588卷。施普林格，第229-241页·Zbl 1202.68228号
[26] Högberg，J。；马莱蒂，A。；May，J.，树自动机的前后互模拟最小化，Theor Compute Sci，410，3539-3552（2009）·Zbl 1194.68139号 ·doi:10.1016/j.tcs.2009.03.022
[27] Hopcroft-John（1971）有限自动机中最小化状态的算法。摘自：机器与计算理论。学术出版社，第189-196页·Zbl 0293.94022号
[28] Huynh，D。；Tian，L.，关于概率过程的一些等价关系，Fund Inform，17，211-234（1992）·Zbl 0766.68099号
[29] Kwiatkowska M，Norman G，Parker D（2011）PRISM 4.0：概率实时系统的验证。收录：计算机辅助验证，CAV 2011，LNCS第6806卷。施普林格，第585-591页
[30] Kwiatkowska MZ，Norman G，Parker D（2012）《PRISM基准套件》。参见：第九届系统定量评估国际会议，QEST 2012，伦敦，英国，2012年9月17-20日。IEEE计算机学会，第203-204页
[31] Kwiatkowska MZ，Norman G，Sproston J（2002）IEEE 802.11无线局域网协议的概率模型检查。摘自：霍尔格·赫尔曼斯（Holger Hermanns）和罗伯托·塞加拉（Roberto Segala），《过程代数和概率方法，性能建模和验证》（Process Algebra and Probabilistic Methods，Performance Modeling and Verification）编辑，2002年第二次联合国际研讨会PAPM-PROBMIV，2002年7月25日至26日，丹麦哥本哈根，会议记录，计算机科学讲稿第2399卷。施普林格，第169-187页·兹比尔1065.68583
[32] Knutila，T.，Hopcroft重新描述算法，Theor Comput Sci，250333-363（2001）·Zbl 0952.68077号 ·doi:10.1016/S0304-3975（99）00150-4
[33] Kanellakis，P。；Smolka，S.，《CCS表达式、有限状态过程和三个等价问题》，Inf Compute，86，1，43-68（1990）·Zbl 0705.68063号 ·doi:10.1016/0890-5401（90）90025-D
[34] Klin，B。；Sassone，V.，《随机和加权转换系统的结构操作语义》，Inf-Compute，227，58-83（2013）·Zbl 1358.68214号 ·doi:10.1016/j.ic.2013.04.001
[35] Launchbury J、Peyton J、Simon L（1994）《惰性功能状态线程》。Sarkar Vivek、Ryder Barbara G、Soffa Mary Lou编辑，1994年6月20日至24日在美国佛罗里达州奥兰多举行的ACM SIGPLAN’94编程语言设计与实现会议记录。ACM，第24-35页
[36] Milner R（1980）《通信系统微积分》，LNCS第92卷。施普林格·Zbl 0452.68027号
[37] May J，Knight K（2006）Tiburon:加权树自动机工具包。In:Ibarra OH，Yen H-C编辑，《自动化的实现和应用》，柏林，海德堡，第102-113页·Zbl 1160.68423号
[38] Park D（1981）无限序列上的并发与自动机。《理论计算机科学》，第五届全球大会，LNCS第104卷。施普林格，第167-183页·Zbl 0457.68049号
[39] Petrov S、Barrett L、Thibaux R、Klein D（2006）《学习准确、紧凑和可解释的树注释》。摘自：2006年7月于澳大利亚悉尼举行的第21届国际计算语言学会议记录和第44届计算语言学协会年会。计算语言学协会，第433-440页
[40] Petrov S，Klein D（2007）《非本地化分析的改进推断》。2007年人类语言技术：计算语言学协会北美分会会议；主要会议记录，纽约罗切斯特，2007年4月。计算语言学协会，第404-411页
[41] 佩奇，R。；Tarjan，R.，《三分区优化算法》，SIAM J Compute，16，6，973-989（1987）·Zbl 0654.68072号 ·doi:10.1137/0216062
[42] 兰扎托，F。；Tapparo，F.，通过抽象解释概括Paige-Tarjan算法，Inf Compute，206，620-651（2008）·Zbl 1197.68054号 ·doi:10.1016/j.ic.2008.01.01
[43] Jan，Rutten，《通用余代数：系统理论》，《计算机科学》，249，3-80（2000）·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6
[44] Silva，A.，Bonchi，F.，Bonsangue，M.M.，Rutten Jan，J.M.M.：从自动机到余代数的广义确定。测井方法Comput Sci 9（1），（2013）·Zbl 1262.18002号
[45] Segala R（1995）随机分布式实时系统的建模与验证。麻省理工学院博士论文
[46] Schröder L，Kozen D，Milius S，Wißmann T（2017）带名称绑定的标称自动机。In:《软件科学和计算结构基础》，FOSSACS 2017，LNCS第10203卷，第124-142页·Zbl 1486.68097号
[47] Valmari A（2009）在（（m\log n）时间内最小化双相似性。在：Petri网的应用和理论，Petri Nets 2009，LNCS第5606卷。施普林格，第123-142页·Zbl 1242.68186号
[48] Valmari，A.，《（m\log n）时间内简单双相似性最小化》，《基金信息》，105，3，319-339（2010）·Zbl 1209.68344号
[49] van Dijk，T。；van de Pol，J.，《多核符号互模拟最小化》，《软工具技术转移杂志》，第20期，第2期，第157-177页（2018年）·文件编号：10.1007/s10009-017-0468-z
[50] Valmari A，Franceschinis G（2010）《简单时间马尔可夫链集总》。收录于：《系统构建和分析的工具和算法》，TACAS 2010，LNCS第6015卷。施普林格，第38-52页·Zbl 1284.68437号
[51] van Glabbeek R（2001）线性时间分支时间谱I；具体、连续过程的语义。收录：Bergstra J、Ponse A、Smolka S（2001）编辑，《过程代数手册》。爱思唯尔，第3-99页·Zbl 1035.68073号
[52] Wißmann，T.、Dorsch，U.、Milius，S.：Schröder L（2020）高效模块化余代数划分精化。计算机科学中的逻辑方法16（1），（2020年1月）·Zbl 1442.68113号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。