
Fabio Gadducci
Person information
- affiliation: University of Pisa, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j48]Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini:
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118: 100615 (2021) - 2020
- [j47]Giovanni A. Cignoni, Fabio Gadducci
:
Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project. IEEE Ann. Hist. Comput. 42(2): 6-19 (2020) - [c76]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Implementation Correctness for Replicated Data Types, Categorically. ICTAC 2020: 283-303 - [e3]Fabio Gadducci
, Timo Kehrer
:
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12150, Springer 2020, ISBN 978-3-030-51371-9 [contents] - [i8]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A spatial model checker in GPU (extended version). CoRR abs/2010.07284 (2020) - [i7]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020)
2010 – 2019
- 2019
- [j46]Paolo Baldan
, Fabio Gadducci
:
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56(1): 61-92 (2019) - [c75]Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 170-190 - [c74]Filippo Bonchi, Laura Bussi, Fabio Gadducci
, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c73]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán
, Matteo Sammartino
:
A Categorical Account of Replicated Data Types. FSTTCS 2019: 42:1-42:15 - [i6]Giovanni A. Cignoni, Fabio Gadducci:
Retracing and assessing the CEP project. CoRR abs/1904.00944 (2019) - 2018
- [j45]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [j44]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán:
On the semantics and implementation of replicated data types. Sci. Comput. Program. 167: 91-113 (2018) - [c72]Kasper Dokter, Fabio Gadducci
, Francesco Santini
:
Soft Constraint Automata with Memory. It's All About Coordination 2018: 70-85 - [c71]Filippo Bonchi, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi:
Rewriting with Frobenius. LICS 2018: 165-174 - [i5]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - 2017
- [j43]Fabio Gadducci
, Francesco Santini
:
Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. 118: 69-74 (2017) - [j42]Fabio Gadducci
, Francesco Santini
, Luis Fernando Pino, Frank D. Valencia:
Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. 92: 45-63 (2017) - [c70]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán:
A Denotational View of Replicated Data Types. COORDINATION 2017: 138-156 - [c69]Filippo Bonchi, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c68]Paolo Baldan, Andrea Corradini, Fabio Gadducci
:
Domains and event structures for fusions. LICS 2017: 1-12 - [i4]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - 2016
- [c67]Filippo Bonchi, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [e2]Fabio Gadducci, Mirko Tavosanis:
History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. IFIP Advances in Information and Communication Technology 487, 2016, ISBN 978-3-319-47285-0 [contents] - [i3]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. CoRR abs/1602.06771 (2016) - 2015
- [j41]Paolo Baldan, Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j40]Roberto Bruni
, Andrea Corradini, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [j39]Paolo Baldan, Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [c66]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c65]Paolo Baldan, Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c64]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente
, Andrea Vandin
:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c63]Fabio Gadducci
, Francesco Santini
, Luis Fernando Pino, Frank D. Valencia:
A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION 2015: 133-149 - [p2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente
, Andrea Vandin
, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [i2]Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis:
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports 5(11): 1-28 (2015) - 2014
- [j38]Giovanni A. Cignoni, Fabio Gadducci
, Stefano Paci:
A Virtual Experience on the Very First Italian Computer. ACM Journal on Computing and Cultural Heritage 7(4): 21:1-21:23 (2014) - [j37]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j36]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15(4): 35:1-35:27 (2014) - [c62]Paolo Baldan, Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - 2013
- [j35]Fabio Gadducci
, Leonardo Mariani:
Preface. J. Vis. Lang. Comput. 24(3): 151-152 (2013) - [c61]Giovanni A. Cignoni, Fabio Gadducci
:
Using Old Computers for Teaching Computer Science. HC 2013: 121-131 - [c60]Maurice H. ter Beek
, Fabio Gadducci
, Francesco Santini
:
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS 2013: 39-48 - [c59]Fabio Gadducci
, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. MICAI (1) 2013: 68-79 - [i1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j34]Stefano Bistarelli
, Fabio Gadducci
, Javier Larrosa, Emma Rollon, Francesco Santini
:
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. 39(2): 1708-1717 (2012) - [j33]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [j32]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia
, Fabio Gadducci
:
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49(2): 161-183 (2012) - [c58]Roberto Bruni
, Andrea Corradini, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c57]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65 - [c56]Fabio Gadducci
, Giacoma Valentina Monreale, Ugo Montanari:
A Modular LTS for Open Reactive Systems. IFIP TCS 2012: 134-148 - [c55]Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Adaptable Transition Systems. WADT 2012: 95-110 - [c54]Fabio Gadducci
, Giacoma Valentina Monreale:
Barbed Semantics for Open Reactive Systems. WADT 2012: 161-177 - [c53]Roberto Bruni
, Andrea Corradini, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j31]Fabio Gadducci
, Leonardo Mariani:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j30]Fabio Gadducci
, Giacoma Valentina Monreale:
A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. 80(2): 113-136 (2011) - [c52]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c51]Paolo Baldan, Fabio Gadducci
, Pawel Sobocinski
:
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59 - [p1]Roberto Bruni
, Andrea Corradini, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368 - 2010
- [j29]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20: 53-96 (2010) - [j28]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [c50]Paolo Baldan, Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c49]Roberto Bruni
, Andrea Corradini, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86 - [c48]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138 - [c47]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297 - [c46]Stefano Bistarelli
, Fabio Gadducci
, Javier Larrosa, Emma Rollon, Francesco Santini
:
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398 - [c45]Roberto Bruni
, Fabio Gadducci
, Alberto Lluch-Lafuente
:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221 - [c44]Andrea Corradini, Fabio Gadducci
, Leila Ribeiro:
An Institution for Graph Transformation. WADT 2010: 160-174
2000 – 2009
- 2009
- [j27]Alessandro Aldini
, Maurice H. ter Beek
, Fabio Gadducci
:
Preface. Electron. Notes Theor. Comput. Sci. 236: 1-3 (2009) - [j26]Fabio Gadducci
:
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. Electron. Notes Theor. Comput. Sci. 253(4): 3-15 (2009) - [j25]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
:
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - [j24]Filippo Bonchi, Fabio Gadducci
, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [c43]Paolo Baldan, Filippo Bonchi, Fabio Gadducci
:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c42]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS 2009: 272-287 - [c41]Roberto Bruni
, Fabio Gadducci
, Alberto Lluch-Lafuente
:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60 - [c40]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. SOS 2009: 46-61 - [e1]Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek:
Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, ISBN 978-3-642-10247-9 [contents] - 2008
- [j23]Maurice H. ter Beek
, Fabio Gadducci
, Dirk Janssens:
A Calculus for Team Automata. Electron. Notes Theor. Comput. Sci. 195: 41-55 (2008) - [j22]Paolo Baldan, Andrea Corradini, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. Electron. Notes Theor. Comput. Sci. 211: 39-50 (2008) - [j21]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [c39]Paolo Baldan, Fabio Gadducci
:
Petri Nets Are Dioids. AMAST 2008: 51-66 - [c38]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
:
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71 - [c37]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia
, Fabio Gadducci
:
A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562 - [c36]Fabio Gadducci
:
Ugo Montanari and Friends. Concurrency, Graphs and Models 2008: 743-746 - [c35]Fabio Gadducci
, Giacoma Valentina Monreale:
A Decentralized Implementation of Mobile Ambients. ICGT 2008: 115-130 - [c34]Filippo Bonchi, Fabio Gadducci
, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241 - [c33]Stefano Bistarelli
, Fabio Gadducci
, Javier Larrosa, Emma Rollon:
A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768 - [c32]Fabio Gadducci
:
A Term-Graph Syntax for Algebras over Multisets. WADT 2008: 152-165 - [c31]Filippo Bonchi, Fabio Gadducci
, Giacoma Valentina Monreale:
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). EXPRESS 2008: 73-98 - 2007
- [j20]Andrea Corradini, Fabio Gadducci
, Wolfram Kahl, Barbara König:
Inequational Deduction as Term Graph Rewriting. Electron. Notes Theor. Comput. Sci. 72(1): 31-44 (2007) - [j19]Maurice H. ter Beek
, Fabio Gadducci
:
Preface. Electron. Notes Theor. Comput. Sci. 168: 1-3 (2007) - [j18]Paolo Baldan, Fabio Gadducci
, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. Electron. Notes Theor. Comput. Sci. 176(1): 85-97 (2007) - [j17]Fabio Gadducci
:
Graph rewriting for the pi-calculus. Math. Struct. Comput. Sci. 17(3): 407-437 (2007) - [c30]Fabio Gadducci, Alberto Lluch-Lafuente
:
Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225 - [c29]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Behavioural Congruence for Web Services. FSEN 2007: 240-256 - 2006
- [j16]Maurice H. ter Beek
, Fabio Gadducci
:
Preface. Electron. Notes Theor. Comput. Sci. 142: 1-3 (2006) - [j15]Fabio Gadducci
, Alberto Lluch-Lafuente
:
Graphical Verification of a Spatial Logic for the pi-calculus. Electron. Notes Theor. Comput. Sci. 154(2): 31-46 (2006) - [j14]Fabio Gadducci
, Marino Miculan
, Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. 19(2-3): 283-304 (2006) - [j13]Michele Boreale
, Fabio Gadducci
:
Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360(1-3): 440-458 (2006) - [c28]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294 - [c27]Stefano Bistarelli, Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67 - [c26]Filippo Bonchi, Fabio Gadducci, Barbara König:
Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183 - [c25]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - 2005
- [j12]Andrea Corradini, Fabio Gadducci
:
On Term Graphs as an Adhesive Category. Electron. Notes Theor. Comput. Sci. 127(5): 43-56 (2005) - [c24]Fabio Gadducci, Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100 - [c23]Fabio Gadducci, Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126 - [c22]Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307 - 2004
- [j11]Fabio Gadducci
, Marino Miculan
, Ugo Montanari:
Some Characterization Results for Permutation Algebras. Electron. Notes Theor. Comput. Sci. 104: 129-147 (2004) - [c21]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - 2003
- [c20]Fabio Gadducci:
Term Graph Rewriting for the pi-Calculus. APLAS 2003: 37-54 - [c19]Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318 - [c18]Michele Boreale, Fabio Gadducci:
Denotational Testing Semantics in Coinductive Form. MFCS 2003: 279-289 - 2002
- [j10]Fabio Gadducci
, Ugo Montanari:
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. Electron. Notes Theor. Comput. Sci. 71: 1-2 (2002) - [j9]Pierpaolo Degano, Fabio Gadducci
, Corrado Priami:
A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002) - [j8]Fabio Gadducci
, Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. 285(2): 319-358 (2002) - [j7]Roberto Bruni
, Fabio Gadducci
, Ugo Montanari:
Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002) - [j6]Andrea Corradini, Fabio Gadducci
:
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286(2): 293-322 (2002) - [c17]Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c16]Matteo Coccia, Fabio Gadducci
, Ugo Montanari:
GS.Lambda Theories: A Syntax for Higher-Order Graphs. CTCS 2002: 83-100 - 2001
- [j5]Roberto Bruni
, Fabio Gadducci
:
Some algebraic laws for spans. Electron. Notes Theor. Comput. Sci. 44(3): 175-193 (2001) - [j4]Andrea Corradini, Fabio Gadducci
:
Categorical rewriting of term-like structures. Electron. Notes Theor. Comput. Sci. 51: 108-121 (2001) - [j3]Fabio Gadducci
, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus. Electron. Notes Theor. Comput. Sci. 62: 157-176 (2001) - [c15]Fabio Gadducci
, Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients. MFPS 2001: 88-105 - 2000
- [c14]Fabio Gadducci, Ugo Montanari:
The tile model. Proof, Language, and Interaction 2000: 133-166
1990 – 1999
- 1999
- [j2]Andrea Corradini, Fabio Gadducci
:
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Appl. Categorical Struct. 7(4): 299-331 (1999) - [j1]Andrea Corradini, Fabio Gadducci
:
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. RAIRO Theor. Informatics Appl. 33(4/5): 467-493 (1999) - [c13]Fabio Gadducci
, Reiko Heckel, Mercè Llabrés:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. CTCS 1999: 80-100 - 1998
- [c12]Andrea Corradini, Fabio Gadducci:
Rational Term Rewriting. FoSSaCS 1998: 156-171 - [c11]Fabio Gadducci, Ugo Montanari:
Axioms for Contextual Net Processes. ICALP 1998: 296-308 - [c10]Fabio Gadducci, Reiko Heckel, Manuel Koch:
A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322 - [c9]Roberto Bruni, Fabio Gadducci
, Ugo Montanari:
Normal Forms for Partitions and Relations. WADT 1998: 31-47 - [c8]Andrea Corradini, Fabio Gadducci
:
Functorial Semantics for Multi-algebras. WADT 1998: 79-91 - [c7]Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
:
CCS semantics via proved transition systems and rewriting logic. WRLA 1998: 369-387 - 1997
- [c6]Andrea Corradini, Fabio Gadducci:
A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science 1997: 87-105 - [c5]Fabio Gadducci
, Reiko Heckel:
An inductive view of graph transformation. WADT 1997: 223-237 - 1996
- [c4]