×
亚历山大·拉比诺维奇

有限代理并发系统等价问题的复杂性。 （英语） 兹比尔0892.68061

Inf.计算。 139，第2期，111-129（1997）.
摘要：同步通信代理的并发系统是由简单的序列代理通过并行组合和隐藏方式组装而成的。例如，在\（（p_1\parallel p_2\cdots\parallel p_n）\）中隐藏\（a_1，\dots，a_l）描述了通信代理系统\（p_1，\ dots，p_n\），其中隐藏了通信事件\（a_1，\ dotes，a_l\）。考虑同步通信有限状态代理的两个系统（p）和（q）的描述。假设要检查\（p\sim q\）是否有一个常用的等价物\（\sim\）。我们表明，对于强互模拟和迹等价之间的所有等价，这个问题是PSPACE困难的。对于某些等价项，证明了指数上界和下界。我们还表明，即使对于一类非常简单的有限代理，该问题也是NP难的，而co-NP难的。

引用于三评论
引用于10文件

MSC公司：

68问题55 计算理论中的语义学
65年第68季度 形式语言和自动机

关键词：

并发系统;同步通信代理
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，Inf.计算。139，编号2，111--129（1997；Zbl 0892.68061）
全文： 内政部 链接

参考文献：

[1] 阿尔瓦雷斯，C。；巴尔卡扎尔，J。；加巴罗，J。；Santa，M.，并行系统设计和分析中的并行复杂性，计算的形式方面（1992）
[2] Bloom，B.，《技术报告》，MIT/LCS/TR-491（1990）
[3] 布鲁克斯，S。；霍尔，C。；Roscoe，A.，《通信顺序过程理论》，J.Assoc.Compute。机器。，31, 560-599 (1984) ·Zbl 0628.68025号
[4] van Glabbeek，R.，线性时间分支时间谱，CONCUR 93。CONCUR 93，莱克托。《计算机科学笔记》，715（1993），施普林格出版社：柏林施普林格出版公司，第60-81页
[5] Groote，J.F。；Moller，F.，通过分解验证并行系统，Lect。计算机科学笔记，63062-76（1992）
[6] Groote，J.F。；Vaandrager，F.，分支互模拟和断续等价的有效算法，Lect。计算机科学笔记，443（1990）·Zbl 0765.68125号
[7] Hennessy，M.，《过程代数理论》（1988），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0744.68047号
[8] Hoare，C.，《沟通顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖·Zbl 0637.68007号
[9] 霍普克罗夫特，J。；Ullman，J.，《自动机理论、语言和计算导论》（1979），艾迪森·韦斯利：艾迪森·韦斯利阅读·Zbl 0426.68001号
[10] Jategaonkar，L.，技术报告，MIT/LCS/TR-618（1993）
[11] 梅耶，A.J。；Stockmeyer，L.J.，《世界问题的复杂性，这一次是交错的信息》。和计算。，115, 293-311 (1994)
[12] A.R.Meyer，L.J.Stockmeyer，1972，正则表达式的平方等价问题需要指数空间，Proc。第13届IEEE交响乐团。关于切换和自动机理论，125129；A.R.Meyer，L.J.Stockmeyer，1972，正则表达式的平方等价问题需要指数空间，Proc。第13届IEEE交响乐团。关于切换和自动机理论，125，129
[13] Milner，R.，《沟通与并发》（1989），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖》·Zbl 0683.68008号
[14] Kanellakis，宾夕法尼亚州。；Smolka，S.A.，CCS表达式、有限状态过程和三个等价问题，Inform。和计算。，86（1990年）·Zbl 0705.68063号
[15] 佩奇，R。；Tarjan，R.，三分区优化算法，SIAM J.Compute。，16, 973-989 (1987) ·Zbl 0654.68072号
[16] Park，D.，无限序列上的并发与自动机。无限序列上的并发与自动机，Lect。计算机科学笔记，104（1981），施普林格出版社：柏林施普林格·Zbl 0457.68049号
[17] Plotkin，G.，FN 19 DAIMI（1981年）
[18] Rabinovich，A.，《检查有限代理并发系统之间的等价性》，自动化、语言和编程国际会议。国际自动化、语言和程序设计会议，Lect。《计算机科学笔记》，623（1992），施普林格出版社：柏林施普林格出版公司，第696-707页·Zbl 1425.68302号
[19] Shulka，S.K。；亨特·H·B。；Rosenkratz，D.J。；Stearn，R.E.，关于有限状态过程关系问题的复杂性，Lect。计算机科学笔记，1099（1996），Springer-Verlag:Springer-Verlag Berlin，第466-477页·Zbl 1046.68627号
[20] L.J.Stockmeyer，A.R.Meyer，1973，需要指数时间的单词问题，Proc。第五交响乐团。论计算理论，1，9；L.J.Stockmeyer，A.R.Meyer，1973，需要指数时间的单词问题，Proc。第五交响乐团。关于计算理论，1，9·Zbl 0359.68050号
[21] L.J.Stockmeyer，1992年1月；L.J.Stockmeyer，1992年1月
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。