GADDUCCI, FABIO Statistiche
GADDUCCI, FABIO
DIPARTIMENTO DI INFORMATICA
A 2-Categorical Presentation of Term Graph Rewriting
1997-01-01 Corradini, Andrea; Gadducci, Fabio
A behavioural congruence for web services
2007-01-01 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A bi-categorical axiomatisation of concurrent graph rewriting
1999-01-01 Gadducci, Fabio; Heckel, R.; Llabrés, M.
A calculus for team automata
2008-01-01 ter Beek, M.; Gadducci, Fabio; Janssens, D.
A categorical account of replicated data types
2019-01-01 Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
A category of explicit fusions
2008-01-01 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
A causal semantics for CCS via rewriting logic
2002-01-01 Degano, Pierpaolo; Gadducci, Fabio; Priami, C.
A Conceptual Framework for Adaptation
2012-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A.
A concurrent graph semantics for Mobile Ambients
2001-01-01 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
A decentralized graphical implementation of mobile ambients
2011-01-01 Gadducci, Fabio; Monreale, Giacoma
A decentralized implementation of Mobile Ambients
2008-01-01 Gadducci, Fabio; Monreale, Giacoma Valentina
A denotational view of replicated data types
2017-01-01 Gadducci, Fabio; Melgratti, Hernan; Roldan, Christian
A fully abstract model for graph-interpreted temporal logic
1998-01-01 Gadducci, Fabio; Heckel, R.; Koch, M.
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
2002-01-01 Corradini, Andrea; Gadducci, Fabio
A general theory of barbs, contexts and labels
2014-01-01 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
A graph syntax for processes and services
2009-01-01 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto
A labelled semantics for Soft Concurrent Constraint Programming
2015-01-01 Gadducci, Fabio; Santini, Francesco; Pino, Luis Fernando; Valencia, Frank D.
A modular LTS for open reactive systems
2012-01-01 Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO
A net-based approach to Web services publication and replaceability
2009-01-01 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A new criterion for M, N-adhesivity, with an application to hierarchical graphs
2022-01-01 Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A 2-Categorical Presentation of Term Graph Rewriting | 1-gen-1997 | Corradini, Andrea; Gadducci, Fabio | |
A behavioural congruence for web services | 1-gen-2007 | Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio | |
A bi-categorical axiomatisation of concurrent graph rewriting | 1-gen-1999 | Gadducci, Fabio; Heckel, R.; Llabrés, M. | |
A calculus for team automata | 1-gen-2008 | ter Beek, M.; Gadducci, Fabio; Janssens, D. | |
A categorical account of replicated data types | 1-gen-2019 | Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo | |
A category of explicit fusions | 1-gen-2008 | Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio | |
A causal semantics for CCS via rewriting logic | 1-gen-2002 | Degano, Pierpaolo; Gadducci, Fabio; Priami, C. | |
A Conceptual Framework for Adaptation | 1-gen-2012 | Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A. | |
A concurrent graph semantics for Mobile Ambients | 1-gen-2001 | Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO | |
A decentralized graphical implementation of mobile ambients | 1-gen-2011 | Gadducci, Fabio; Monreale, Giacoma | |
A decentralized implementation of Mobile Ambients | 1-gen-2008 | Gadducci, Fabio; Monreale, Giacoma Valentina | |
A denotational view of replicated data types | 1-gen-2017 | Gadducci, Fabio; Melgratti, Hernan; Roldan, Christian | |
A fully abstract model for graph-interpreted temporal logic | 1-gen-1998 | Gadducci, Fabio; Heckel, R.; Koch, M. | |
A functorial semantics for multi-algebras and partial algebras, with applications to syntax | 1-gen-2002 | Corradini, Andrea; Gadducci, Fabio | |
A general theory of barbs, contexts and labels | 1-gen-2014 | Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma | |
A graph syntax for processes and services | 1-gen-2009 | Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto | |
A labelled semantics for Soft Concurrent Constraint Programming | 1-gen-2015 | Gadducci, Fabio; Santini, Francesco; Pino, Luis Fernando; Valencia, Frank D. | |
A modular LTS for open reactive systems | 1-gen-2012 | Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO | |
A net-based approach to Web services publication and replaceability | 1-gen-2009 | Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio | |
A new criterion for M, N-adhesivity, with an application to hierarchical graphs | 1-gen-2022 | Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino |