詹森，D。;G.罗森伯格。 演员文法。 （英语） Zbl 0677.68082号 数学。系统。理论 22，第2期，75-107（1989）. 参与者系统是基于异步消息传递的大规模并行系统模型。本文在图文法的框架下，提出了参与者系统的一种限制形式。为此，我们引入了演员文法，并通过示例进行了激励和说明。讨论了行动者文法中与图变换有关的一些基本性质。 引用于2评论引用于10文件 MSC公司： 65年第68季度 形式语言和自动机 第68页第25页 操作系统理论 关键词：演员系统;并行系统;消息传递;图建模;演员文法;图形变换 PDF格式BibTeX公司 XML格式引用 \textit{D.Jannssens}和\textit{G.Rozenberg}，数学。系统。理论22，第2号，75-107（1989；Zbl 0677.68082） 全文： 内政部 参考文献： [1] G.A.Agha，《参与者：分布式系统中并发计算的模型》，麻省理工学院出版社，马萨诸塞州剑桥，1986年。 [2] D.B.Benson，语义保留翻译，数学。系统理论，8（1974），105–126·Zbl 0305.68010号 ·doi:10.1007/BF01762181 [3] W.Brauer、W.Reisig和G.Rozenberg编辑，《Petri网的进展》，1986年，第卷。第一卷和第二卷，计算机科学课堂讲稿。第254页和第255页，柏林斯普林格-Verlag，1987年·Zbl 0619.00024号 [4] W.D.Clinger，《演员语义学基础》，麻省理工学院博士论文，1981年。可参见麻省理工学院AI实验室633号技术报告·Zbl 0565.68008号 [5] H.Ehrig，《图文法代数方法教程导论》，图文法及其在计算机科学中的应用（H.Ehreg、M.Nagl、G.Rozenberg和A.Rosenfeld，eds.），《计算机科学课堂讲稿》，第291卷，柏林斯普林格-Verlag出版社，1987年，第3-14页。 [6] H.Ehrig、M.Nagl、G.Rozenberg和A.Rosenfeld编辑，《图形语法及其在计算机科学中的应用》，《计算机科学讲义》，第291卷，柏林，1987年·Zbl 0636.00013号 [7] C.Hewitt，将控制结构视为传递消息的模式，J.人造英特尔。，8 (1977), 323–364. ·doi:10.1016/0004-3702（77）90033-9 [8] C.Hewitt和H.Baker，《沟通并行过程的法律》，Proc。IFIP 77，多伦多，1977年，第987–992页。 [9] G.Hotz，Eindeutigkeit und Mehrdeutigkeit Formaler Sprachen，Elektron。信息概述。凯伯内特。，2 (1966), 235–246. [10] D.Janssens和G.Rozenberg，《演员语法的基本概念：演员计算的图形语法模型》，inGraph Grammars及其在计算机科学中的应用（H.Ehrig、M.Nagl、G.Rozenberg和A.Rosenfeld，eds.），《计算机科学讲义》，第291卷，Springer-Verlag出版社，柏林，1987年，第280-298页。 [11] D.Janssens和G.Rozenberg，《目的地——演员Grammars的正常形式》，正在筹备中·Zbl 0900.68292号 [12] H.J.Kreowski，《图形语法中的并行性和并发性》，布尔。EATCS，25（1987），63–79·Zbl 0643.68023号 [13] H.Lieberman，《第一幕预览》，技术报告625，麻省理工学院人工智能实验室，1981年。 [14] G.Rozenberg，《重写图形的NLC方法简介》，inGraph Grammars及其在计算机科学中的应用（H.Ehrig、M.Nagl、G.Rozenberg和A.Rosenfeld，eds.），《计算机科学课堂讲稿》，第291卷，Springer-Verlag，柏林，1987年，第55-66页。 [15] D.Theriault，《ACT 2的设计和实施问题》，技术报告728，人工智能实验室，麻省理工学院，1983年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。