ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishThe 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:
Copyright © 2021