Autore
FABIO GADDUCCI
Unimap Dati autore
- Professore Associato presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- An algebraic presentation of term graphs, via gs-monoidal categories 1999
- Rewriting on cyclic structures: Equivalence of operational and categorical descriptions 1999
- A causal semantics for CCS via rewriting logic 2002
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax 2002
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic 2002
- Normal forms for algebras of connections 2002
- About permutation algebras, (pre)sheaves and named sets 2006
- Processes as formal power series: A coinductive approach to denotational semantics 2006
- Graph rewriting for the pi-calculus 2007
- On the use of behavioural equivalences for Web services’development 2008
- A net-based approach to Web services publication and replaceability 2009
- Synthesising CCS bisimulation using graph rewriting 2009
- An algebra of hierarchical graphs and its application to structural encoding 2010
- A decentralized graphical implementation of mobile ambients 2011
- A presheaf environment for the explicit fusion calculus 2012
- Concurrency can’t be observed, asynchronously 2012
- Counterpart semantics for a second-order mu-calculus 2012
- Local arc consistency for non-invertible semirings, with an application to multi-objective optimization 2012
- RPO semantics for Mobile Ambients 2012
- Atti, Riassunti o Comunicazioni
- Tiles, rewriting rules and CCS 1996
- A 2-categorical presentation of term graph rewriting 1997
- An Inductive View of Graph Transformation 1997
- A Fully Abstract Model for Graph-Interpreted Temporal Logic 1998
- Axioms for Contextual Net Processes 1998
- CCS semantics via Proved Transition Systems and Rewriting Logic 1998
- Functorial Semantics for Multi-algebras 1998
- Normal forms for partitions and relations 1998
- Rational Term Rewriting 1998
- A bi-categorical axiomatisation of concurrent graph rewriting 1999
- A Concurrent Graph Semantics for Mobile Ambients 2001
- Categorical Rewriting of Term-like Structures 2001
- Comparing cospan-spans and tiles via a Hoare-style process algebra 2001
- Some algebraic laws for spans (and their connections with multirelations) 2001
- AGILE: Software Architectures for Mobility 2002
- GS-Lambda Theories: A Syntax for Higher-Order Graphs 2002
- Causality and replication in Concurrent Processes 2003
- Denotational Testing Semantics in Coinductive Form 2003
- Term graph rewriting for the pi-calculus 2003
- Some characterization results for permutation algebras 2004
- Specifying and verifying UML activity diagrams via graph transformation 2004
- Deriving weak bisimulation congruences from reduction systems 2005
- On term graphs as an adhesive category 2005
- Concurrent rewriting for graphs with equivalences 2006
- Enhancing constraints manipulation in semiring-based formalisms 2006
- Graph transactions as processes 2006
- Graphical verification of a spatial logic for the pi-calculus 2006
- Process bisimulation via a graphical encoding 2006
- A behavioural congruence for Web services 2007
- Graphical encoding of a spatial logic for the pi-calculus 2007
- Inequational deduction as term graph rewriting 2007
- Modelling calculi with name mobility using graphs with equivalences 2007
- A calculus for team automata 2008
- A decentralized implementation of mobile ambients 2008
- A soft approach to multi-objective optimization 2008
- A term-graph syntax for algebras over multisets 2008
- Compositional specification of Web Services via behavioural equivalence of Nets: A case study 2008
- Parallel and sequential independence for borrowed contexts 2008
- Petri nets are dioids 2008
- Towards a notion of transaction in graph rewriting 2008
- A graph syntax for processes and services 2009
- A note on an old-fashioned algebra for (disconnected) graphs 2009
- Encoding asynchronous interactions using open Petri nets 2009
- Labelled transitions for mobile ambients (as synthesized via a graphical encoding) 2009
- On barbs and labels in reactive systems 2009
- Reactive systems, barbed semantics, and the mobile ambients 2009
- An algebra of hierarchical graphs 2010
- An institution for graph transformation 2010
- Concurrency can't be observed, asynchronously 2010
- Counterpart semantics for a second-order mu-calculus 2010
- Extending soft arc consistency algorithms to non-invertible semirings 2010
- Saturated LTSs for Adhesive Rewriting Systems 2010
- A Lewisian approach to the verification of adaptive systems 2011
- Adhesivity is not enough: Local Church-Rosser revisited 2011
- Towards A General Theory of Barbs, Contexts and Labels 2011
- A conceptual framework for adaptation 2012
- A modular LTS for open reactive systems 2012
- Exploiting over- and under-approximations for innite-state counterpart models 2012
- Modelling and analyzing adaptive self-assembling strategies with Maude 2012
- Rediscovering the very first Italian digital computer 2012
- Capitoli, Parte,Saggi, Studi, Articoli in libro
- The Tile Model - Proof, Language, and Interaction, Essays in Honour of Robin Milner 2000
- Graph processes with fusions: Concurrency by colimits, again - Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday 2005
- Observing reductions in nominal calculi via a graphical encoding of processes - Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday 2005
- A category of explicit fusions - Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008
- On gs-monoidal theories for graphs with nesting - Graph Transformations and Model-Driven Engineering, Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday 2010
- From Petri nets to graph transformation systems - Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Joerg Kreowski on the Occasion of His 60th Birthday 2010
- Hierarchical models for service-oriented systems - Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing 2011
- Edizioni, Recensioni, Curatele, Voci enc
- Fourth International Workshop on Rewriting Logic and its Applications (WRLA 2002) 2002
- First International Workshop on Views on Designing Complex Architectures (VODCA 2004) 2006
- Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 2007
- Ugo Montanari and friends 2008
- Architecting Dependable Systems VI 2009
- Third International Workshop on Views on Designing Complex Architectures (VODCA 2008) 2009
- Tenth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2011) 2011