×
Author ID: gadducci.fabio Recent zbMATH articles by "Gadducci, Fabio"
Published as: Gadducci, Fabio; Gadducci, F.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 461 times in 235 Documents Cited by Year
An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121
Corradini, Andrea; Gadducci, Fabio
33
1999
An inductive view of graph transformation. Zbl 0901.18003
Gadducci, F.; Heckel, R.
22
1998
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
22
2006
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
22
2002
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
21
2016
A 2-categorical presentation of term graph rewriting. Zbl 0889.68085
Corradini, A.; Gadducci, F.
16
1997
A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089
Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé
15
1999
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
15
2002
Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063
Gadducci, Fabio
14
2007
Confluence of graph rewriting with interfaces. Zbl 1485.68124
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
12
2017
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
11
1999
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
11
2009
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008
Corradini, Andrea; Gadducci, Fabio
11
2002
String diagram rewrite theory. I: Rewriting with Frobenius structure. Zbl 1497.68239
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
11
2022
Rational term rewriting. Zbl 0908.68081
Corradini, A.; Gadducci, F.
9
1998
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
8
2006
A concurrent graph semantics for mobile ambients. Zbl 1260.68094
Gadducci, Fabio; Montanari, Ugo
8
2001
Axioms for contextual net processes. Zbl 0912.68142
Gadducci, F.; Montanari, U.
7
1998
Relating two categorical models of term rewriting. Zbl 1508.68146
Corradini, A.; Gadducci, F.; Montanari, U.
7
1995
Causality and replication in concurrent processes. Zbl 1254.68165
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
6
2003
Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070
Boreale, Michele; Gadducci, Fabio
6
2006
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
6
2005
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
6
2005
Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
6
2009
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
6
2014
A presheaf environment for the explicit fusion calculus. Zbl 1290.68089
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
6
2012
A category of explicit fusions. Zbl 1144.68038
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2008
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
5
2007
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
5
1999
A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025
Gadducci, Fabio; Heckel, Reiko; Koch, Manuel
5
2000
Tiles, rewriting rules and CCS. Zbl 0917.68115
Gadducci, Fabio; Montanari, Ugo
5
1996
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
5
2009
A causal semantics for CCS via rewriting logic. Zbl 1026.68075
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
5
2002
CPO models for infinite term rewriting. Zbl 1496.68163
Corradini, Andrea; Gadducci, Fabio
5
1995
Functorial semantics for multi-algebras. Zbl 0942.18002
Corradini, Andrea; Gadducci, Fabio
4
1999
Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169
Gadducci, Fabio
4
2003
Denotational testing semantics in coinductive form. Zbl 1124.68383
Boreale, Michele; Gadducci, Fabio
4
2003
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
Residuation for bipolar preferences in soft constraints. Zbl 1392.68385
Gadducci, Fabio; Santini, Francesco
4
2017
A decentralized implementation of mobile ambients. Zbl 1175.68279
Gadducci, Fabio; Monreale, Giacoma Valentina
4
2008
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
4
2017
Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012
4
2020
Some characterization results for permutation algebras. Zbl 1271.68148
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
4
2004
On term graphs as an adhesive category. Zbl 1272.68175
Corradini, Andrea; Gadducci, Fabio
4
2005
Categorical rewriting of term-like structures. Zbl 1263.68070
Corradini, Andrea; Gadducci, Fabio
4
2002
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
3
2011
Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058
Gadducci, Fabio; Montanari, Ugo
3
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
3
2005
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
3
2017
Rewriting with Frobenius. Zbl 1497.68238
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
3
2018
GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123
Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo
3
2003
String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. Zbl 1506.68042
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
3
2022
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
2
2006
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
2
2008
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040
Gadducci, Fabio; Santini, Francesco
2
2021
Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126
Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C.
2
2002
Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
2
2007
String diagram rewrite theory. III: Confluence with and without Frobenius. Zbl 1506.68043
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
2
2022
Soft constraint automata with memory. Zbl 1455.68087
Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco
2
2021
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
A term-graph syntax for algebras over multisets. Zbl 1253.68228
Gadducci, Fabio
1
2009
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
A soft approach to multi-objective optimization. Zbl 1185.90169
Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma
1
2008
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248
Gadducci, Fabio; Lluch Lafuente, Alberto
1
2007
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
Graph transactions as processes. Zbl 1156.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
Inequational deduction as term graph rewriting. Zbl 1270.68125
Corradini, Andrea; Gadducci, Fabio
1
2007
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
Barbed semantics for open reactive systems. Zbl 1394.68249
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2013
WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Zbl 1271.68038
1
2004
A categorical account of replicated data types. Zbl 07650339
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
1
2019
Implementation correctness for replicated data types, categorically. Zbl 07369994
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
1
2020
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Zbl 1482.68021
1
2021
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
String diagram rewrite theory. I: Rewriting with Frobenius structure. Zbl 1497.68239
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
11
2022
String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. Zbl 1506.68042
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
3
2022
String diagram rewrite theory. III: Confluence with and without Frobenius. Zbl 1506.68043
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
2
2022
Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040
Gadducci, Fabio; Santini, Francesco
2
2021
Soft constraint automata with memory. Zbl 1455.68087
Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco
2
2021
Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Zbl 1482.68021
1
2021
Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012
4
2020
Implementation correctness for replicated data types, categorically. Zbl 07369994
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
1
2020
A categorical account of replicated data types. Zbl 07650339
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
1
2019
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Rewriting with Frobenius. Zbl 1497.68238
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
3
2018
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Confluence of graph rewriting with interfaces. Zbl 1485.68124
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
12
2017
Residuation for bipolar preferences in soft constraints. Zbl 1392.68385
Gadducci, Fabio; Santini, Francesco
4
2017
Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
4
2017
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
3
2017
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
21
2016
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
6
2014
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
Barbed semantics for open reactive systems. Zbl 1394.68249
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2013
A presheaf environment for the explicit fusion calculus. Zbl 1290.68089
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
6
2012
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
3
2011
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
11
2009
Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
6
2009
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
5
2009
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
A term-graph syntax for algebras over multisets. Zbl 1253.68228
Gadducci, Fabio
1
2009
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
A category of explicit fusions. Zbl 1144.68038
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2008
A decentralized implementation of mobile ambients. Zbl 1175.68279
Gadducci, Fabio; Monreale, Giacoma Valentina
4
2008
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
2
2008
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
A soft approach to multi-objective optimization. Zbl 1185.90169
Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma
1
2008
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063
Gadducci, Fabio
14
2007
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
5
2007
Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
2
2007
Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248
Gadducci, Fabio; Lluch Lafuente, Alberto
1
2007
Inequational deduction as term graph rewriting. Zbl 1270.68125
Corradini, Andrea; Gadducci, Fabio
1
2007
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
22
2006
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
8
2006
Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070
Boreale, Michele; Gadducci, Fabio
6
2006
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
2
2006
Graph transactions as processes. Zbl 1156.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
6
2005
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
6
2005
On term graphs as an adhesive category. Zbl 1272.68175
Corradini, Andrea; Gadducci, Fabio
4
2005
Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058
Gadducci, Fabio; Montanari, Ugo
3
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
3
2005
Some characterization results for permutation algebras. Zbl 1271.68148
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
4
2004
WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Zbl 1271.68038
1
2004
Causality and replication in concurrent processes. Zbl 1254.68165
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
6
2003
Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169
Gadducci, Fabio
4
2003
Denotational testing semantics in coinductive form. Zbl 1124.68383
Boreale, Michele; Gadducci, Fabio
4
2003
GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123
Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo
3
2003
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
22
2002
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
15
2002
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008
Corradini, Andrea; Gadducci, Fabio
11
2002
A causal semantics for CCS via rewriting logic. Zbl 1026.68075
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
5
2002
Categorical rewriting of term-like structures. Zbl 1263.68070
Corradini, Andrea; Gadducci, Fabio
4
2002
Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126
Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C.
2
2002
A concurrent graph semantics for mobile ambients. Zbl 1260.68094
Gadducci, Fabio; Montanari, Ugo
8
2001
A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025
Gadducci, Fabio; Heckel, Reiko; Koch, Manuel
5
2000
An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121
Corradini, Andrea; Gadducci, Fabio
33
1999
A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089
Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé
15
1999
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
11
1999
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
5
1999
Functorial semantics for multi-algebras. Zbl 0942.18002
Corradini, Andrea; Gadducci, Fabio
4
1999
An inductive view of graph transformation. Zbl 0901.18003
Gadducci, F.; Heckel, R.
22
1998
Rational term rewriting. Zbl 0908.68081
Corradini, A.; Gadducci, F.
9
1998
Axioms for contextual net processes. Zbl 0912.68142
Gadducci, F.; Montanari, U.
7
1998
A 2-categorical presentation of term graph rewriting. Zbl 0889.68085
Corradini, A.; Gadducci, F.
16
1997
Tiles, rewriting rules and CCS. Zbl 0917.68115
Gadducci, Fabio; Montanari, Ugo
5
1996
Relating two categorical models of term rewriting. Zbl 1508.68146
Corradini, A.; Gadducci, F.; Montanari, U.
7
1995
CPO models for infinite term rewriting. Zbl 1496.68163
Corradini, Andrea; Gadducci, Fabio
5
1995
all top 5

Cited by 253 Authors

50 Gadducci, Fabio
31 Montanari, Ugo G.
26 Bonchi, Filippo
21 Corradini, Andrea
19 Bruni, Roberto
18 Sobociński, Paweł
14 Baldan, Paolo
14 Zanasi, Fabio
8 Ciancia, Vincenzo
8 Monreale, Giacoma Valentina
8 Sammartino, Matteo
6 König, Barbara
5 Kissinger, Aleks
5 Lluch Lafuente, Alberto
5 Melgratti, Hernán
5 Miculan, Marino
5 Ribeiro, Leila
5 Santini, Francesco
5 Wilson, Paul W.
4 Duval, Dominique
4 Echahed, Rachid
4 Heckel, Reiko
4 Kurz, Alexander
4 Lanese, Ivan
4 Meseguer Guaita, José
4 Orejas, Fernando
4 Prost, Frédéric
4 Sabadini, Nicoletta
4 Walters, Robert F. C.
3 Aubert, Clément
3 Brodo, Linda
3 Buscemi, Maria Grazia
3 Ferrari, Gian Luigi
3 Heindel, Tobias
3 Honsell, Furio
3 Kahl, Wolfram
3 Lambers, Leen
3 Lenisa, Marina
3 Martí-Oliet, Narciso
3 Sassone, Vladimiro
3 Schröder, Lutz
2 Amy, Matthew
2 Balco, Samuel
2 Behr, Nicolas
2 Bertolissi, Clara
2 Bonsangue, Marcello Maria
2 Boreale, Michele
2 Bouassida Rodriguez, Ismael
2 Bozapalidis, Symeon
2 Bracciali, Andrea Clark
2 Bresolin, Davide
2 Brogi, Antonio
2 Caltais, Georgiana
2 Castelnovo, Davide
2 Clavel, Manuel
2 Cockett, J. Robin B.
2 de Frutos-Escrig, David
2 Di Gianantonio, Pietro
2 Ehrig, Hartmut
2 Fong, Brendan
2 Fritz, Tobias
2 Gassara, Amal
2 Gregorio-Rodríguez, Carlos
2 Hirschkoff, Daniel
2 Hofstra, Pieter J. W.
2 Horne, Ross
2 Jmaiel, Mohamed
2 Jouannaud, Jean-Pierre
2 Kalampakas, Antonios
2 Kehrer, Timo
2 Madiot, Jean-Marie
2 Mauw, Sjouke
2 Milner, Robin
2 Palomino, Miguel
2 Piedeleu, Robin
2 Radmacher, Frank G.
2 Rafe, Vahid
2 Rahmani, Adel T.
2 Rutten, Jan J. M. M.
2 Sangiorgi, Davide
2 Seeber, Jens
2 Silva, Alexandra
2 Spivak, David I.
2 Staton, Sam
2 Thomas, Wolfgang
2 Yurkov, Semen
2 Zhao, Yuhang
1 Altenmüller, Malin
1 Aoto, Takahito
1 Asada, Kazuyuki
1 Bacci, Giorgio
1 Baez, John C.
1 Baillot, Patrick
1 Balland, Emilie
1 Beffara, Emmanuel
1 Bialkiewicz, Joël-Alexis
1 Bistarelli, Stefano
1 Bolognesi, Tommaso
1 Borgström, Johannes
1 Bretschneider, Jan
...and 153 more Authors

Citations by Year