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.
Autori: | ||
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 |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.