×
Huynh，Dung T。；田璐

关于确定并发进程的某些等价项。 （英语） Zbl 1004.68521号

RAIRO，通知。塞奥尔。申请。 28，第1期，第51-71页（1994年）.

引用于1文件

MSC公司：

第68页，共15页 数据库理论
PDF格式BibTeX公司 XML格式引用
\textit{D.T.Huynh}和\textit{L.Tian}，RAIRO，通知。塞奥尔。申请。28，第1号，51--71（1994；Zbl 1004.68521）
全文： 内政部 欧洲DML

参考文献：

[1] 1.C.ALVAREZ、J.L.BALCáZAR、J.GABARR Oth和M.SANTHA，并行系统设计和分析中的并行复杂性，计算机科学讲义，1991年，505年，第288-303页。MR1121745型
[2] 2.J.C.M.BAETEN、J.A.BERGSTRA和J.W.KLOP，过程生成上下文无关语言的互模拟等价性的判定，计算机科学课堂讲稿，1987年，259年，第94-113页。Zbl0635.68014 MR910305号·Zbl 0635.68014号
[3] 3.J.C.M.BAETEN、J.A.BERGSTRA和J.M.KLOP，《带优先算子的具体过程代数的现成跟踪语义》，《计算机杂志》，1987年，第30期，第498-506页。Zbl0627.68016 MR920065号·Zbl 0627.68016号 ·doi:10.1093/comjnl/30.6.498
[4] 4.S.D.BROOKES、C.A.R.HOARE和A.W.ROSCOE，通信顺序过程理论，J.Assoc.Compute。机器。，1984年，31，第560-599页。Zbl0628.68025 MR819158号·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833
[5] 5.B.BLOOM、S.ISTRAIL和A.R.MEYER，《无法追踪相互模拟》，Proc。第15届ACM交响乐团。《程序设计语言原理》，1988年，第229-239页。
[6] 6.J.A.BERGSTRA、J.W.KLOP和E.R.OLDEROG，《通信过程代数中的准备与失败》，SIAM计算机杂志，1988年，第17期，第1134-1177页。Zbl0677.68089 MR972666号·Zbl 0677.68089号 ·数字对象标识代码：10.1137/0217073
[7] 7.D.CAUCAL，Graphes Canoniques de Graphes Algébriques，《理论信息学与应用》，1990年，第24期，第339-352页。Zbl0701.68082 MR1079719·Zbl 0701.68082号
[8] 8.S.CHO和D.T.HUYNH，《粗集划分问题的并行复杂性》，《信息处理快报》，1992年，第42期，第89-94页。Zbl0780.68056 MR1170873号·Zbl 0780.68056号 ·doi:10.1016/0020-0190（92）90095-D
[9] 9.J.ENGELFRIET，确定性\rightarrow（观测等效=跟踪等效），理论计算机科学，1985年，36，第21-25页。兹比尔0571.68018 MR792638·Zbl 0571.68018号 ·doi:10.1016/0304-3975（85）90028-3
[10] 10.E.P.FRIEDMAN，《简单语言的包含问题》，理论计算机科学，1976年，第1期，第297-316页。Zbl0349.68032 MR405936号·兹伯利0349.68032 ·doi:10.1016/0304-3975（76）90074-8
[11] 11.M.R.GARY和D.S.JOHNSON，《计算机与难处理性：NP-完备性理论指南》，弗里曼，纽约，1979年。Zbl0411.68039 MR519066号·Zbl 0411.68039号
[12] 12.R.J.VAN GLABBEEK，《线性时间分支时间谱》，《计算机科学讲义》，1990年，第458页，第278-297页。
[13] 13.J.F.GROOTE，《标准BPA过程双模拟可判定性的简短证明》，技术报告CS-R9151，CWI，1991，将发表在《信息处理快报》中。Zbl0779.68029 MR1168773号·Zbl 0779.68029号 ·doi:10.1016/0020-0190（92）90142-I
[14] 14.J.F.GROOTE和H.HüTTEL，《基本过程代数的不确定等价物》，技术报告CS-R9137，CWI，1991年·Zbl 0834.68069号
[15] 15.J.F.GROOTE和F.W.VAANDRAGER，《结构化操作语义和作为同余的互模拟》，《计算机科学讲义》，1989年，372，第423-438页（将发表在《信息与计算》中）。Zbl0752.68053号·Zbl 0752.68053号 ·doi:10.1016/0890-5401（92）90013-6
[16] 16.M.A.HARRISON，《形式语言理论导论》，Addison-Wesley，1978年。Zbl0411.68058 MR526397号·Zbl 0411.68058号
[17] 17.H.HüTTEL和C.STIRLING，《行动胜于言语：证明无语境过程的相似性》，Proc。第六届年度交响乐团。《计算机科学中的逻辑》，1991年，第376-386页·Zbl 0904.68129号
[18] 18.D.T.HUYNH和L.TIAN，决定过程准备和失效当量的复杂性，Proc。IEEE第三交响曲。《并行和分布式处理》，1991年，第738-745页。
[19] 19.D.T.HUYNH和L.TIAN，《关于确定过程的痕量当量》，技术报告UTDCS-4-91，德克萨斯大学达拉斯分校，1991年，发表于《信息科学》。Zbl0783.68043 MR1228797号·Zbl 0783.68043号 ·doi:10.1016/0020-0255（93）90031-G
[20] 20.D.T.HUYNH和L.TIAN，《概率过程的一些等价关系》，《基础信息学》，1992年，第17期，第211-234页。Zbl0766.68099 MR1208589·Zbl 0766.68099号
[21] 21.D.T.HUYNH和L.TIAN，判定赋范无上下文过程的双相似性在P2中。技术报告UTDCS-1-92，德克萨斯大学达拉斯分校，1992年，发表于理论计算机科学。Zbl0801.68058号·兹比尔0801.68058 ·doi:10.1016/0304-3975（92）00078-6
[22] 22.D.T.HUYNH和L.TIAN，《关于判定规范一元过程双相似性的复杂性的说明》，技术报告UTDCS-2-92，德克萨斯大学达拉斯分校，1992年·Zbl 0809.68066号
[23] 23.J.E.HOPCROFT和J.D.ULLMAN，《形式语言及其与自动机的关系》，Addison-Wesley出版社，1969年。兹bl0196.01701 MR237243·兹比尔0196.01701
[24] 24.J.E.HOPCROFT和J.D.ULLMAN，《自动机理论、语言和计算导论》，Addison-Wesley出版社，1979年。Zbl0426.68001 MR645539号·Zbl 0426.68001号
[25] 25.N.IMMERMAN，《非确定性空间在补码下闭合》，SIAM J.《计算》，1988年，第17期，第935-938页。Zbl0668.68056 MR961049号·Zbl 0668.68056号 ·doi:10.1137/0217058
[26] 26.K.G.LARSEN和A.SKOU，《通过概率测试、信息和计算进行互模拟》，1991年，第94页，第1-28页。Zbl0756.68035 MR1123153号·Zbl 0756.68035号 ·doi:10.1016/0890-5401（91）90030-6
[27] 27.P.C.KANELLAKIS和S.A.SMOLKA，CCS表达式，有限状态过程和等价、信息和计算的三个问题，1990年，86，第43-68页。Zbl0705.68063 MR1049267号·Zbl 0705.68063号 ·doi:10.1016/0890-5401（90）90025-D
[28] 28.R.MILNER，《沟通与并行》，普伦蒂斯·霍尔出版社，1989年。Zbl0683.68008号·Zbl 0683.68008号
[29] 29.R.DE NICOLA和M.C.B.HENNESSY，《过程等价性测试》，理论计算机科学，1984年，34，第83-133页。Zbl0985.68518 MR774041号·Zbl 0985.68518号 ·doi:10.1016/0304-3975（84）90113-0
[30] 30.E.R.OLDEROG和C.A.R.HOARE，《沟通过程的面向规范的语义》，《信息学报》，1986年，第23期，第9-66页。Zbl0569.68019 MR845623号·Zbl 0569.68019号 ·doi:10.1007/BF00268075
[31] 31.D.PARK，无限序列上的并发与自动机，《计算机科学讲义》，1981年，104，第168-183页。Zbl0457.68049号·Zbl 0457.68049号
[32] 32.I.C.PHILLIPS，拒绝测试，理论计算机科学，1987年，50，第241-284页。Zbl0626.68011 MR911076号·Zbl 0626.68011号 ·doi:10.1016/0304-3975（87）90117-4
[33] 33.R.PAIGE和R.E.TARJAN，《三分区精化算法》，SIAM J.on Computing，1987年，第16期，第937-989页。Zbl0654.68072 MR917035号·Zbl 0654.68072号 ·数字对象标识代码：10.1137/0216062
[34] 34.W.S.ROUNDS和S.D.BROOKS，可能的未来，接受、拒绝和沟通过程，程序。第22届年度交响乐团。《计算机科学基础》，1981年，第140-149页。
[35] 35.L.J.STOCKMEYER，《多项式时间层次》，1977年，第3期，第1-22页。Zbl0353.02024 MR438810号·Zbl 0353.02024号 ·doi:10.1016/0304-3975（76）90061-X
[36] 36.I.H.SUDBOROUGH，关于带边界复杂类和多头有限自动机，计算。系统。科学。，1975年10月，第62-76页。兹比尔0299.68031 MR363832·Zbl 0299.68031号 ·doi:10.1016/S0022-0000（75）80014-6
[37] 37.R.SZELEPCSéNYI，《非确定性自动机的强制枚举方法》，《学报信息》，1988年，第29期，第279-284页。Zbl0638.68046 MR975334号·Zbl 0638.68046号 ·doi:10.1007/BF002999636
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。