GADDUCCI, FABIO Statistiche

GADDUCCI, FABIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 153 (tempo di esecuzione: 0.031 secondi).
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