×
拉利塔·贾特冈卡尔;阿尔伯特·迈耶

确定有限安全网上的真正并发等价（初步报告）。 （英语） Zbl 1422.68170号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 519-531 (1993).
摘要：我们证明了有限安全Petri网的pomset-trace等价问题是可判定的，并且对于外露空间。我们还表明，对于德克普蒂姆解决了福格勒遗留下来的问题。我们的决策过程是基于在有界大小的转移激发的部分阶之间建立对应关系，从中可以立即得到上界。下限之后是减少具有已知复杂性的相应交错（语言）等价问题。我们的方法还为其他几个真正的并发等价物提供了严格的复杂性边界。结果与隐藏转换的存在无关。
关于整个系列，请参见[Zbl 0814.00020号].

引用于1审查
引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析
65年第68季度 形式语言和自动机

关键词：

部分订单;决策程序;同构类;有限自动机;可见过渡
PDF格式BibTeX公司 XML格式引用
\textit{L.Jategaonkar}和\textit{A.Meyer}，莱克特。注释计算。科学。700、519--531（1993年；Zbl 1422.68170）
全文： 内政部

参考文献：

[1] C.Alvarez、B.J.、J.Gabarro和M.Santa。并行系统设计和分析中的并行复杂性。1991年，第288-303页，《计算机科学讲义》第505卷，1991年，《1991年巴黎会议录》。
[2] E.Best、R.Devillers、A.Kiehn和L.Pomello。Petri网中的并发互模拟\（Acta Inf.，28\）：231-2641991年·兹比尔0718.68034
[3] G.Boudol和I.Castellani。关于并发的语义：部分顺序和转换系统。1987年，《计算机科学讲义》第249卷，TAPSOFT’87会议录，第123-137页·兹比尔0614.68023
[4] S.D.Brookes、C.A.R.Hoare和A.W.Roscoe。通信顺序过程的理论\（J.ACM，31（3）\）：560-5991984年7月·兹比尔062868025
[5] S.D.Brookes和A.W.Roscoe。通信过程的改进故障模型。1984年，第281-305页·Zbl 0565.68023号
[6] R.Devillers公司。最大值保持互模拟\（Theor.Comput.Sci.，102（1）\）：165-1841992年8月·兹比尔0780.68036
[7] J.E.Hopcroft和J.D.Ullman\（自动机理论、语言和计算简介）。Addison-Wesley，1979年·Zbl 0426.68001号
[8] L.Jategaonkar和A.R.Meyer。使用动作细化测试Petri网的等价性。1992年，《计算机科学讲义》第630卷，CONCUR’92会议录，第17-31页。
[9] L.Jategaonkar和A.R.Meyer。并发进程的自同步。发表于《美国科学院学报》（LICS，1993年）。
[10] P.Kannelakis和S.Smolka。CCS表达式、有限状态过程和三个等价问题\（Inf.Compute.，86（1）\）：43-681990年·Zbl 0705.68063号
[11] A.J.Mayer和L.J.Stockmeyer。单词问题的复杂性——这次是交错。技术报告，IBM研究部，Almaden研究中心，加州圣何塞，1992年9月。
[12] R.Milner\（通信和并发）。计算机科学系列。Prentice-Hall公司，1989年·Zbl 0683.68008号
[13] A.拉比诺维奇。检查有限代理并发系统之间的等价性。在\（计算机科学系列讲座第379卷，ICALP’92会议录，第696-707页，1992年·Zbl 1425.68302号
[14] A.Rabinovich和B.Trakhtenbrot。行为结构和过程网络\（基础信息学），11（4）：357-4041988·兹比尔0657.68068
[15] L.Stockmeyer，1992年1月。未发布的笔记。
[16] D.Taubner和W.Vogler。步骤失败语义和完整的证明系统\（Acta Inf.，27（2）\）：125-1561989年11月·Zbl 0689.68105号
[17] R.van Glabeek和U.Goltz。并发系统和操作细化的等效概念。1989年，第237-248页·Zbl 0755.68095号
[18] R.van-Grabbeek和F.Vaandrager。并发代数理论的Petri网模型。1987年，《计算机科学讲义》第259卷，第224-242页·Zbl 0633.68054号
[19] W.福格勒。相互模拟和动作细化。1991年，第309-321页·Zbl 0773.68052号
[20] W.福格勒。相互模拟和动作细化。技术报告，慕尼黑理工大学，1991年·Zbl 0773.68052号
[21] W.福格勒。决定历史保存互模拟。1991年，第495-505页·Zbl 0769.68106号
[22] W.福格勒。基于区间半词的失败语义是求精的同余\（分布式计算），4:139-1621991·Zbl 0723.68069号
[23] W.福格勒。动作细化需要部分顺序语义吗？技术报告，慕尼黑理工大学，1991年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。