有限主体并发系统等价问题的复杂性

@文章{Rabinovich1997ComplexityOE，title={有限代理并发系统等价问题的复杂性}，author={Alexander Moshe Rabinovich}，日志={Inf.Comput.}，年份={1997}，体积={139}，页数={111-129}，url={https://api.semanticscholar.org/CorpusID:21315781}}
结果表明，对于强互模拟和迹等价之间的所有等价，这个问题都是PSPACE难的，并且即使对于一类非常简单的有限代理，这个问题也是NP难和co-NP难的。
通过Publisher查看
37引文
极具影响力的引文
5
背景引文
21
方法引文
三
结果引文
5

37引文

组合有限状态系统等价性检验的困难性

主要结果表明，正如Rabinovich猜想的那样，对于互模拟等价性和迹预序之间的所有关系，各个问题都是EXPTIME-hard。

基本形式的预订单检查硬度

非平面系统的等价性检查是EXPTIME-hard

结果表明，正如Rabinovich（1997）推测的那样，对于任何介于互模拟等价和迹等价之间的等价概念来说，这个问题都是很难解决的。

从迹到互模拟等价的状态爆炸问题

这表明，在检查行为关系时，无法避免状态爆炸问题，并且当系统被给定为有限状态系统的网络时，仿真预序和双相似性之间的任何关系都是EXPTIME-hard。

分布式过渡系统的自动综合

通过使用几种启发式方法来克服经典的状态空间爆炸，本文能够自动生成用于互斥等问题的小型分布式算法。

一些等价检验问题的计算复杂性

本资格认证论文概述了作者在验证领域的五篇论文，特别是在等价性检查问题的计算复杂性和…

有限状态机竞技场互模拟的合成方法

对于这类非平坦系统，提出了组合互模拟的概念，它允许直接利用领域的通信网络来检查领域的互模拟等价性，而无需将其扩展到相应的有限状态机。

无通信Petri网与有限状态系统之间模拟预序的EXPSPACE下界

一些等价检验问题的复杂性和可判定性

本文主要研究等价性检验的复杂性和可判定性问题，即确定过渡系统的行为等价性和预序，并表明，对于以状态和跃迁列表形式明确给出的有限状态系统，确定互模拟等价性和迹序之间的任何关系是一个PTIME-hard问题。

基于字母表的同步成本是指数级的

结果表明，对PSPACE中存在问题的规范应用隐藏、重命名或仅使用一个交错并行合成操作，可能会将问题的复杂性提高到EXPSPACE-hard。

19参考文献

并行系统设计与分析中的并行复杂性

结果表明，前两个问题可以有效地并行化，允许对数时间并行RAM算法，甚至允许具有阈值门的恒定时间无界扇入电路，然而，下限意味着它们不能通过PRAM算法在恒定时间内解决。

无限序列上的并发与自动机

从Milner的“模拟”概念出发，得到了一种证明/决定欧米伽正则语言之间等价性的通用方法，其识别器是Buchi或Muller-McNaughton自动机的修改形式。

CCS表达式、有限状态过程和三个等价问题

研究表明，观测等效性可以在三次时间内进行测试，并且是一系列等效概念的极限，并且即使对于非常有限的过程类型，故障等效性的测试也是PSPACE完全的。

关于有限状态过程关系问题的复杂性（扩展抽象）

这项工作研究了以下三个关系问题的复杂性，当过程由顺序转移系统和转移系统的并行组合（有隐藏和无隐藏）表示时。

线性时间分支时间谱II

本文研究了具有无声运动的序列系统的语义等价性和前序，将注意力局限于从成功终止、随机和实时中抽象出来的语义等价和前序…

通过分解验证并行系统

这项工作为所有p i和q j提供了一个分解过程，并给出了必须在分解过程中检查的标准，以确定（*）是否成立，并表明在标准技术为指数的情况下，实际示例的验证可以在空间和时间上变为多项式。

线性时间分支时间谱

单词问题的复杂性——这次是交错

成员关系问题的某些情况被证明是NP-完全的，并且表明通过使用交错可以以指数形式更简洁地描述某些语言。

过程代数理论

    M.轩尼诗
    数学、计算机科学
    麻省理工学院出版社计算机基础系列
  • 1988
过程代数理论首次全面系统地介绍了并发系统的语义，这是计算机科学中一个相对较新的研究领域。它开发了…

序列过程通信理论

给出了一个串行过程通信的数学模型，并证明了它的一些有趣和有用的性质。不确定性的可能性被充分利用…