×
Author ID: bonchi.filippo Recent zbMATH articles by "Bonchi, Filippo"
Published as: Bonchi, Filippo; Bonchi, F.

Publications by Year

Citations contained in zbMATH Open

73 Publications have been cited 590 times in 296 Documents Cited by Year
Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169
Bonchi, Filippo; Pous, Damien
38
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
31
2013
A categorical semantics of signal flow graphs. Zbl 1417.68119
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
28
2014
Full abstraction for signal flow graphs. Zbl 1346.68143
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
25
2015
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
24
2012
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
23
2014
Coinduction up-to in a fibrational setting. Zbl 1395.68195
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
22
2014
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
21
2016
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
18
2010
A coalgebraic perspective on minimization and determinization. Zbl 1352.68171
Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
18
2012
Interacting Hopf algebras. Zbl 1345.68229
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
17
2017
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
16
2017
The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
15
2017
Coalgebraic behavioral metrics. Zbl 1515.68199
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
15
2018
Interacting bialgebras are Frobenius. Zbl 1395.18009
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
13
2014
Confluence of graph rewriting with interfaces. Zbl 1485.68124
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
12
2017
Up-to techniques for behavioural metrics via fibrations. Zbl 1520.68089
Bonchi, Filippo; König, Barbara; Petrişan, Daniela
12
2018
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
11
2009
String diagram rewrite theory. I: Rewriting with Frobenius structure. Zbl 1497.68239
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
11
2022
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
10
2011
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
10
2015
The power of convex algebras. Zbl 1442.68085
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
10
2017
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
9
2014
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
8
2006
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
7
2009
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
7
2015
Bialgebraic semantics for logic programming. Zbl 1347.68040
Bonchi, Filippo; Zanasi, Fabio
7
2015
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
7
2007
Graphical conjunctive queries. Zbl 1528.68098
Bonchi, Filippo; Seeber, Jens; Sobocinski, Pawel
7
2018
Refinement for signal flow graphs. Zbl 1442.68125
Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł
7
2017
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
6
2008
Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196
Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank
6
2011
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
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
5
2009
Sound up-to techniques and complete abstract domains. Zbl 1497.68107
Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
5
2018
Saturated semantics for coalgebraic logic programming. Zbl 1394.68053
Bonchi, Filippo; Zanasi, Fabio
5
2013
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
4
2015
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Up-to techniques for weighted systems. Zbl 1452.68100
Bonchi, Filippo; König, Barbara; Küpper, Sebastian
4
2017
Combining semilattices and semimodules. Zbl 07410421
Bonchi, Filippo; Santamaria, Alessio
4
2021
Towards trace metrics via functor lifting. Zbl 1366.68189
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2015
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Rewriting with Frobenius. Zbl 1497.68238
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
3
2018
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
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Coalgebraic symbolic semantics. Zbl 1239.68049
Bonchi, Filippo; Montanari, Ugo
2
2009
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
2
2016
Lawvere categories as composed PROPs. Zbl 1475.18028
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
2
2016
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
Contextual equivalence for signal flow graphs. Zbl 07250933
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio
2
2020
Bialgebraic semantics for string diagrams. Zbl 07649945
Bonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel; Zanasi, Fabio
2
2019
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
A coalgebraic theory of reactive systems. Zbl 1279.68249
Bonchi, Filippo; Montanari, Ugo
2
2008
The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077
Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria
2
2022
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288
Bonchi, Filippo; Montanari, Ugo
1
2009
A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315
Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
1
2014
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
Bialgebraic foundations for the operational semantics of string diagrams. Zbl 1518.68197
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio
1
2021
Reducing weak to strong bisimilarity in CCP. Zbl 1433.68228
Aristizábal, Andrés; Bonchi, Filippo; Pino, Luis; Valencia, Frank
1
2012
G-reactive systems as coalgebras. Zbl 1277.68163
Bonchi, Filippo; Montanari, Ugo
1
2008
Convexity via weak distributive laws. Zbl 07639916
Bonchi, Filippo; Santamaria, Alessio
1
2022
Distribution bisimilarity via the power of convex algebras. Zbl 1480.18005
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
1
2021
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
The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077
Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria
2
2022
Convexity via weak distributive laws. Zbl 07639916
Bonchi, Filippo; Santamaria, Alessio
1
2022
Combining semilattices and semimodules. Zbl 07410421
Bonchi, Filippo; Santamaria, Alessio
4
2021
Bialgebraic foundations for the operational semantics of string diagrams. Zbl 1518.68197
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio
1
2021
Distribution bisimilarity via the power of convex algebras. Zbl 1480.18005
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
1
2021
Contextual equivalence for signal flow graphs. Zbl 07250933
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio
2
2020
Bialgebraic semantics for string diagrams. Zbl 07649945
Bonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel; Zanasi, Fabio
2
2019
Coalgebraic behavioral metrics. Zbl 1515.68199
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
15
2018
Up-to techniques for behavioural metrics via fibrations. Zbl 1520.68089
Bonchi, Filippo; König, Barbara; Petrişan, Daniela
12
2018
Graphical conjunctive queries. Zbl 1528.68098
Bonchi, Filippo; Seeber, Jens; Sobocinski, Pawel
7
2018
Sound up-to techniques and complete abstract domains. Zbl 1497.68107
Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
5
2018
Rewriting with Frobenius. Zbl 1497.68238
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
3
2018
Interacting Hopf algebras. Zbl 1345.68229
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
17
2017
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
16
2017
The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
15
2017
Confluence of graph rewriting with interfaces. Zbl 1485.68124
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
12
2017
The power of convex algebras. Zbl 1442.68085
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
10
2017
Refinement for signal flow graphs. Zbl 1442.68125
Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł
7
2017
Up-to techniques for weighted systems. Zbl 1452.68100
Bonchi, Filippo; König, Barbara; Küpper, Sebastian
4
2017
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
21
2016
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
2
2016
Lawvere categories as composed PROPs. Zbl 1475.18028
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
2
2016
Full abstraction for signal flow graphs. Zbl 1346.68143
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
25
2015
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
10
2015
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
7
2015
Bialgebraic semantics for logic programming. Zbl 1347.68040
Bonchi, Filippo; Zanasi, Fabio
7
2015
Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
4
2015
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Towards trace metrics via functor lifting. Zbl 1366.68189
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
A categorical semantics of signal flow graphs. Zbl 1417.68119
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
28
2014
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
23
2014
Coinduction up-to in a fibrational setting. Zbl 1395.68195
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
22
2014
Interacting bialgebras are Frobenius. Zbl 1395.18009
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
13
2014
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
9
2014
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
6
2014
A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315
Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
1
2014
How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169
Bonchi, Filippo; Pous, Damien
38
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
31
2013
Saturated semantics for coalgebraic logic programming. Zbl 1394.68053
Bonchi, Filippo; Zanasi, Fabio
5
2013
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
24
2012
A coalgebraic perspective on minimization and determinization. Zbl 1352.68171
Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
18
2012
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
A presheaf environment for the explicit fusion calculus. Zbl 1290.68089
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
6
2012
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Reducing weak to strong bisimilarity in CCP. Zbl 1433.68228
Aristizábal, Andrés; Bonchi, Filippo; Pino, Luis; Valencia, Frank
1
2012
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
10
2011
Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196
Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank
6
2011
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
18
2010
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
11
2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
7
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
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
Coalgebraic symbolic semantics. Zbl 1239.68049
Bonchi, Filippo; Montanari, Ugo
2
2009
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288
Bonchi, Filippo; Montanari, Ugo
1
2009
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
6
2008
A category of explicit fusions. Zbl 1144.68038
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2008
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
A coalgebraic theory of reactive systems. Zbl 1279.68249
Bonchi, Filippo; Montanari, Ugo
2
2008
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
G-reactive systems as coalgebras. Zbl 1277.68163
Bonchi, Filippo; Montanari, Ugo
1
2008
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
7
2007
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
5
2007
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
8
2006
all top 5

Cited by 326 Authors

42 Bonchi, Filippo
25 Zanasi, Fabio
23 Gadducci, Fabio
19 Silva, Alexandra
19 Sobociński, Paweł
17 Rot, Jurriaan
14 Rutten, Jan J. M. M.
13 König, Barbara
11 Bonsangue, Marcello Maria
11 Milius, Stefan
11 Montanari, Ugo G.
9 Kissinger, Aleks
8 Baldan, Paolo
8 Monreale, Giacoma Valentina
8 Pous, Damien
8 Sammartino, Matteo
8 Schröder, Lutz
7 Corradini, Andrea
7 Jacobs, Bart
6 Ciancia, Vincenzo
6 Fong, Brendan
6 Kurz, Alexander
6 Petrisan, Daniela Luan
6 Sangiorgi, Davide
6 Sokolova, Ana
6 Wilson, Paul W.
6 Wißmann, Thorsten
5 Boreale, Michele
5 Hansen, Helle Hvid
5 Hasuo, Ichiro
5 Hirschkoff, Daniel
5 Katsumata, Shin-ya
5 Kupke, Clemens
5 Piedeleu, Robin
5 Valencia, Frank D.
4 Ballester-Bolinches, Adolfo
4 Brengos, Tomasz
4 Bruni, Roberto
4 Cosme-Llópez, Enric
4 Komendantskaya, Ekaterina
4 Küpper, Sebastian
4 Miculan, Marino
4 Oliveira, José Nuno
4 Panangaden, Prakash
4 Rueda, Camilo
4 Urbat, Henning
4 Wild, Paul
3 Adámek, Jiří
3 Bacci, Giorgio
3 Baez, John C.
3 Coecke, Bob
3 Guzmán, Michell
3 Klin, Bartek
3 Melgratti, Hernán
3 Orejas, Fernando
3 Padoan, Tommaso
3 Pattinson, Dirk
3 Perdrix, Simon
3 Peressotti, Marco
3 Power, John
3 Ribeiro, Leila
3 Salamanca, Julian
3 Santamaria, Alessio
3 Sprunger, David
3 Winter, Joost
3 Zamdzhiev, Vladimir
2 Aguirre, Alejandro
2 Amy, Matthew
2 Bacci, Giovanni
2 Balco, Samuel
2 Balle, Borja
2 Beohar, Harsh
2 Bresolin, Davide
2 Brogi, Antonio
2 Brunet, Paul
2 Buscemi, Maria Grazia
2 Caltais, Georgiana
2 Cho, Kenta
2 Colcombet, Thomas
2 Coya, Brandon
2 de Felice, Giovanni
2 Di Gianantonio, Pietro
2 Dorsch, Ulrich
2 Dubut, Jérémy
2 Duncan, Ross
2 Durier, Adrien
2 Duval, Dominique
2 Echahed, Rachid
2 Eggert, Richard
2 Ehrig, Hartmut
2 Fritz, Tobias
2 Ghani, Neil
2 Ghica, Dan R.
2 Goncharov, Sergeĭ Savost’yanovich
2 Gu, Tao
2 Hofmann, Dirk
2 Honsell, Furio
2 Horne, Ross
2 Horsman, Dominic
2 Jouannaud, Jean-Pierre
...and 226 more Authors

Citations by Year