M.克莱博特。;Roos，Y。;莱尔，I。 同步语言和重写系统。 （英语） Zbl 1007.68084号 Inf.计算。 167，第1号，46-69（2001）. 摘要：为了刻画同步语言的闭包性质，我们扩展了Guo等人定义的重写系统。该扩展被证明具有交换系统的众所周知的性质，并且是最适合同步语言的重写系统。我们给出了有限同步语言在扩张下闭语言的一个特征。 引用于1文件 MSC公司： 第68季度第42季度 语法和重写系统 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.Clerbout}等人，《信息计算》。167，编号1，46--69（2001；Zbl 1007.68084） 全文： 内政部 参考文献： [1] 卡斯特拉诺。；De Michelis，G。；Pomello，L.，《并发与交错：一个很有启发性的例子》，Bull。欧洲协会理论。计算。科学。，31, 12-15 (1987) ·Zbl 1023.68635号 [2] Clerbout，M。；Latteux，M。；Roos，Y.，《半交换》（Diekert，V.；Rozenberg，G.，《痕迹之书》（1995），《世界科学：世界科学新加坡》，487-551·Zbl 0629.68078号 [3] Clerbout，M。；Roos，Y。；Ryl，I.，同步语言，Theoret。计算。科学。，215, 99-121 (1999) ·Zbl 0915.68057号 [4] Govindarajan，R.、Guo，L.、Yu，S.和Wang，P.1991，ParC项目：并行编程语言的实用构造，在里面程序。IEEE第15届国际计算机软件和应用年会，第183-189页。；Govindarajan，R.、Guo，L.、Yu，S.和Wang，P.1991，ParC项目：并行编程语言的实用构造，在里面程序。IEEE第15届国际计算机软件和应用年会，第183-189页。 [5] Guo，L.、Salomaa，K.和Yu，S.1994，同步表达式和语言，在里面程序。第六届并行和分布式处理研讨会，第257-264页。；Guo，L.、Salomaa，K.和Yu，S.1994，同步表达式和语言，在里面程序。第六届并行和分布式处理研讨会，第257-264页。 [6] 郭，L。；萨洛马，K。；Yu，S.，基金。通知。，25, 423-436 (1996) ·Zbl 0843.68055号 [7] Hoare，C.A.R.，《沟通顺序过程》（1985），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖》·Zbl 0637.68007号 [8] Kai，Salomaa；Sheng，Yu，带扩展连接操作的同步表达式，Theoret。计算。科学。，207, 73-88 (1998) ·Zbl 0912.68108号 [9] 萨索内，V。；尼尔森，M。；Winskel，G.，《并发模型：走向分类》，理论。计算。科学。，170297-348（1996年）·Zbl 0874.68120号 [10] 范·格拉贝克，R.J。；Vaandrager，F.，《在（n）和（n+1）中分裂的区别》，Inform。和计算。，136, 109-142 (1997) ·Zbl 0889.68055号 [11] Vogler，W.，《（Split_n）语言等价性的极限》，（Fülöp，Z.；Gècseg，F.，第22届自动化、语言和编程国际学术讨论会（ICALP'95），匈牙利塞格德（1995），斯普林格-弗拉格：柏林/纽约斯普林格-Verlag），636-647·Zbl 1412.68157号 [12] Winskel，G。；Nielsen，M.，《并发模型》（Abramsky，S.，《计算机科学逻辑手册》（1995），牛津大学出版社：牛津大学出版社）·Zbl 0876.68001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。