×
A.埃伦菲赫特。;胡格布姆，H.J。;G.罗森伯格。

关于依赖图的可识别语言的结构。 （英语） Zbl 0787.68060号

RAIRO，通知。塞奥尔。申请。 27，第1期，7-22（1993）.
摘要：在迹理论中，依赖图表示并发系统（如安全Petri网）的行为，其方式与字符串表示顺序系统（如有限自动机）的行为非常相似。一种可识别的依赖图语言，简称RecDG语言，表示并发系统的所有行为集（具有“规则行为”）。
我们刻画了裸RecDG语言，即从RecDG-语言的图中删除标签而获得的未标记图集。

理学硕士：

第68季度第45季度 形式语言和自动机
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

痕迹理论;依赖关系图;行为;并发系统;安全Petri网;RecDG语言
PDF格式BibTeX公司 XML格式引用
\textit{A.Ehrenfeucht}等人，RAIRO，Inform。塞奥尔。申请。27，编号1，7--22（1993；Zbl 0787.68060）
全文： 内政部 欧洲DML

参考文献：

[1] IJ公司。J.AALBERSBERG和G.ROZENBERG，痕迹理论，理论计算机科学，1988年第60卷，第1-82页。Zbl0652.68017 MR947532号·Zbl 0652.68017号 ·doi:10.1016/0304-3975（88）90051-5
[2] IJ公司。J.AALBERSBERG和G.ROZENBERG，《迹、依赖图和DNLC语法》，《离散应用数学》，1985年第11卷，第299-306页。Zbl0601.68045 MR792896号·兹比尔0601.68045 ·doi:10.1016/0166-218X（85）90080-0
[3] IJ公司。J.AALBERSBERG和E.WELZL，由正则字符串语言定义的跟踪语言，RAIRO Informatique Théorique，1986年第20卷，第103-119页，Zbl0612.68071 MR860763·Zbl 0612.68071号
[4] A.BERTON、G.MAURI和N.SABADIN，正则跟踪语言的等价性和成员问题，计算机科学讲义，第140卷，1982年，第61-71页。Zbl0486.68079 MR675445号·Zbl 0486.68079号
[5] P.CARTIER和D.FOATA，Problèmes combinetoires de communication et rehamments，数学课堂讲稿，第85卷，1981年·Zbl 0186.30101号
[6] R.CORI和D.PERRIN，《自动化与交换部分》，RAIRO Informatique Théorique，第19卷，1985年，第21-32页，Zbl0601.68055 MR795769·Zbl 0601.68055号
[7] H.EHRIG、M.NAGL和G.ROZENBERG主编《图形语法及其在计算机科学中的应用》，计算机科学讲义，1983年第153卷。Zbl0512.00027 MR707856·Zbl 0512.00027号
[8] A.EHRENFEUCHT和G.ROZENBERG，《依赖关系图的结构》，载于：Concurrency and nets，K.Voss，H.J.GENRICH，G.ROZENBERG Eds.，Springer Verlag，1987年，第141-170页。Zbl0642.68031 MR911917号·Zbl 0642.68031号
[9] M.P.FLé和G.ROUCAIROL，《关于重复交易的序列化》，Proc。ACM SIGACT-SIGOPS交响乐团。《分布式计算原理》，1982年，第194-200页。
[10] R.M.KELLER，可解程序模式等价问题，Proc。第五届普林斯顿信息科学和系统年会，普林斯顿，1971年，第301-306页。
[11] A.MAZURKIEWICZ，并发程序方案及其解释，奥胡斯大学计算机科学系，技术报告编号PB-78，奥胡思，1977年。
[12] A.MAZURKIEWICZ，《并发系统的语义：模块化不动点方法》，《计算机科学讲义》，第188卷，1985年，第353-375页。Zbl0576.68044 MR807209号·Zbl 0576.68044号
[13] Y.METIVIER，《不满足充分侦察条件的单一部分交换》，RAIRO Informatique Théorique，第20卷，1986年，第121-127页。Zbl0599.20107 MR860764·Zbl 0599.20107
[14] E.OCHMANSKI，规则跟踪语言，华沙大学数学系博士论文，1985年。
[15] D.PERRIN，《部分交换》，《计算机科学讲义》，第372卷，第637-651页。MR1037081型
[16] G.ROZENBERG和E.WELZL，边界NLC文法。《基本定义、规范形式和复杂性、信息和控制》，第69卷，1986年，第136-167页。Zbl0608.68060 MR848438号·Zbl 0608.68060号 ·doi:10.1016/S0019-9958（86）80045-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。