文章基本信息

标题：Event Structure Semantics for Dynamic Graph Grammars
本地全文：下载
作者：Roberto Bruni ; Hernan Melgratti ; Ugo Montanari 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2006
卷号：2
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction. Persistent graph grammars (PGGs) are a class of graph grammars that admits a fully satisfactory concurrent semantics thanks to the fact that all so-called asymmetric conflicts (between items that are read by some productions and consumed by other) are avoided. In this paper we introduce a slight variant of DGGs, called persistent dynamic graph grammars (PDGGs), that can be encoded in PGGs preserving concurrency. Finally, PDGGs are exploited to define a concurrent semantics for the Join calculus enriched with persistent messaging (if preferred, the latter can be naively seen as dynamic nets with read arcs).