The problem of extending to graph grammars the unfolding semantics originally developed by Winskel for (safe) Petri nets has been faced several times along the years, both for the single-pushout and double-pushout approaches, but only partial results were obtained. In this paper we fully extend Winskel’s approach to single-pushout grammars providing them with a categorical concurrent semantics expressed as a coreflection between the category of graph grammars and the category of prime algebraic domains. Research supported by the FET-GC Project IST-2001-32747 Agile and by the MIUR Project COFIN 2001013518 CoMeta.
|Data di pubblicazione:||2002|
|Titolo:||Coreflective Concurrent Semantics for Single-Pushout Graph Grammars|
|Titolo del libro:||Recent Trends in Algebraic Development Techniques|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1007/978-3-540-40020-2_9|
|Appare nelle tipologie:||3.1 Articolo su libro|