×

zbMATH — the first resource for mathematics

Bruni, Roberto

Compute Distance To:
Author ID: bruni.roberto Recent zbMATH articles by "Bruni, Roberto"
Published as: Bruni, Roberto; Bruni, R.
Documents Indexed: 94 Publications since 1997, including 7 Books

Publications by Year

Citations contained in zbMATH Open

63 Publications have been cited 341 times in 192 Documents Cited by Year
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
40
2006
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
18
2002
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
15
2006
Generalized rewrite theories. Zbl 1039.03020
Bruni, Roberto; Meseguer, José
13
2003
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
13
2001
Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615
Bruni, Roberto; Montanari, Ugo
12
2000
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
12
2002
Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
12
2005
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
11
2013
A connector algebra for P/T nets interactions. Zbl 1344.68161
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
10
2011
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
9
2001
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
9
1998
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
8
2002
Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo
7
2000
Types and deadlock freedom in a calculus of services, sessions and pipelines. Zbl 1170.68428
Bruni, Roberto; Mezzina, Leonardo Gaetano
7
2008
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
Open multiparty interaction. Zbl 1394.68244
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
7
2013
Connector algebras, Petri nets, and BIP. Zbl 1336.68006
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
6
2012
A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
5
1998
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
5
1999
Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.
5
1999
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
5
2014
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
4
2014
Zero-safe nets, or transition synchronization made simple. Zbl 0911.68149
Bruni, Roberto; Montanari, Ugo
4
1997
Dynamic connectors for concurrency. Zbl 0996.68073
Bruni, Roberto; Montanari, Ugo
4
2002
Nested commits for mobile calculi: extending join. Zbl 1088.68507
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2004
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
4
2008
Orchestrating transactions in join calculus. Zbl 1012.68524
Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo
4
2002
Event structure semantics for nominal calculi. Zbl 1151.68512
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2006
A formal approach to open multiparty interactions. Zbl 1411.68074
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
4
2019
Behaviour, interaction and dynamics. Zbl 1407.68098
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
3
2014
A logic modular descriptions of asynchronous and synchronized concurrent systems. Zbl 0917.68099
Bruni, Roberto
3
1998
Algebraic models for contextual nets. Zbl 0973.68161
Bruni, Roberto; Sassone, Vladimiro
3
2000
Global optimal image reconstruction from blurred noisy data by a Bayesian approach. Zbl 1053.68112
Bruni, C.; Bruni, R.; De Santis, A.; Iacoviello, D.; Koch, G.
3
2002
Transactions and zero-safe nets. Zbl 1017.68074
Bruni, Roberto; Montanari, Ugo
3
2001
Parametric synchronizations in mobile nominal calculi. Zbl 1146.68051
Bruni, Roberto; Lanese, Ivan
3
2008
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
3
2007
Tiling transactions in rewriting logic. Zbl 1272.68291
Bruni, Roberto; Meseguer, José; Montanari, Ugo
3
2004
A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
Revisiting causality, coalgebraically. Zbl 1307.68053
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Static detection of logic flaws in service-oriented applications. Zbl 1252.68106
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2009
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Concurrent models for Linda with transactions. Zbl 1085.68027
Bruni, Roberto; Montanari, Ugo
2
2004
Executing transactions in zero-safe nets. Zbl 0986.68081
Bruni, Roberto; Montanari, Ugo
2
2000
The link-calculus for open multiparty interactions. Zbl 07285753
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2020
Hierarchical design rewriting with Maude. Zbl 1347.68072
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo
1
2009
cJoin: Join with communicating transactions. Zbl 1361.68060
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2015
Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. Zbl 1088.68120
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2004
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
PRISMA: a mobile calculus with parametric synchronization. Zbl 1211.68025
Bruni, Roberto; Lanese, Ivan
1
2007
Non-sequential behaviour of dynamic nets. Zbl 1234.68289
Bruni, Roberto; Melgratti, Hernán
1
2006
Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9–10, 2011. Revised selected papers. Zbl 1245.68002
Bruni, Roberto (ed.); Sassone, Vladimiro (ed.)
1
2012
Two algebraic process semantics for contextual nets. Zbl 1017.68075
Bruni, Roberto; Sassone, Vladimiro
1
2001
Complete axioms for stateless connectors. Zbl 1151.68511
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
1
2005
A new strategy for distributed compensations with interruption in long-running transactions. Zbl 1312.68126
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio
1
2012
Flat committed join in join. Zbl 1271.68170
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2004
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
The link-calculus for open multiparty interactions. Zbl 07285753
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2020
A formal approach to open multiparty interactions. Zbl 1411.68074
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
4
2019
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 coalgebraic semantics for causality in Petri nets. Zbl 1330.68196
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
Revisiting causality, coalgebraically. Zbl 1307.68053
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
cJoin: Join with communicating transactions. Zbl 1361.68060
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2015
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
5
2014
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
4
2014
Behaviour, interaction and dynamics. Zbl 1407.68098
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
3
2014
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
11
2013
Open multiparty interaction. Zbl 1394.68244
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
7
2013
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
Connector algebras, Petri nets, and BIP. Zbl 1336.68006
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
6
2012
Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9–10, 2011. Revised selected papers. Zbl 1245.68002
Bruni, Roberto; Sassone, Vladimiro
1
2012
A new strategy for distributed compensations with interruption in long-running transactions. Zbl 1312.68126
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio
1
2012
A connector algebra for P/T nets interactions. Zbl 1344.68161
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
10
2011
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Static detection of logic flaws in service-oriented applications. Zbl 1252.68106
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2009
Hierarchical design rewriting with Maude. Zbl 1347.68072
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo
1
2009
Types and deadlock freedom in a calculus of services, sessions and pipelines. Zbl 1170.68428
Bruni, Roberto; Mezzina, Leonardo Gaetano
7
2008
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
4
2008
Parametric synchronizations in mobile nominal calculi. Zbl 1146.68051
Bruni, Roberto; Lanese, Ivan
3
2008
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
3
2007
PRISMA: a mobile calculus with parametric synchronization. Zbl 1211.68025
Bruni, Roberto; Lanese, Ivan
1
2007
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
40
2006
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
15
2006
Event structure semantics for nominal calculi. Zbl 1151.68512
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2006
Non-sequential behaviour of dynamic nets. Zbl 1234.68289
Bruni, Roberto; Melgratti, Hernán
1
2006
Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
12
2005
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Complete axioms for stateless connectors. Zbl 1151.68511
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
1
2005
Nested commits for mobile calculi: extending join. Zbl 1088.68507
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2004
Tiling transactions in rewriting logic. Zbl 1272.68291
Bruni, Roberto; Meseguer, José; Montanari, Ugo
3
2004
Concurrent models for Linda with transactions. Zbl 1085.68027
Bruni, Roberto; Montanari, Ugo
2
2004
Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. Zbl 1088.68120
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2004
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
Flat committed join in join. Zbl 1271.68170
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2004
Generalized rewrite theories. Zbl 1039.03020
Bruni, Roberto; Meseguer, José
13
2003
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
18
2002
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
12
2002
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
8
2002
Dynamic connectors for concurrency. Zbl 0996.68073
Bruni, Roberto; Montanari, Ugo
4
2002
Orchestrating transactions in join calculus. Zbl 1012.68524
Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo
4
2002
Global optimal image reconstruction from blurred noisy data by a Bayesian approach. Zbl 1053.68112
Bruni, C.; Bruni, R.; De Santis, A.; Iacoviello, D.; Koch, G.
3
2002
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
13
2001
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
9
2001
Transactions and zero-safe nets. Zbl 1017.68074
Bruni, Roberto; Montanari, Ugo
3
2001
Two algebraic process semantics for contextual nets. Zbl 1017.68075
Bruni, Roberto; Sassone, Vladimiro
1
2001
Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615
Bruni, Roberto; Montanari, Ugo
12
2000
Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo
7
2000
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
Algebraic models for contextual nets. Zbl 0973.68161
Bruni, Roberto; Sassone, Vladimiro
3
2000
Executing transactions in zero-safe nets. Zbl 0986.68081
Bruni, Roberto; Montanari, Ugo
2
2000
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
5
1999
Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.
5
1999
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
9
1998
A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
5
1998
A logic modular descriptions of asynchronous and synchronized concurrent systems. Zbl 0917.68099
Bruni, Roberto
3
1998
Zero-safe nets, or transition synchronization made simple. Zbl 0911.68149
Bruni, Roberto; Montanari, Ugo
4
1997
all top 5

Cited by 243 Authors

32 Bruni, Roberto
32 Meseguer Guaita, José
29 Montanari, Ugo G.
14 Gadducci, Fabio
12 Martí-Oliet, Narciso
10 Bonchi, Filippo
9 Bliudze, Simon
8 Lucas, Salvador
8 Olveczky, Peter Csaba
7 Brodo, Linda
7 Melgratti, Hernán
7 Sobociński, Paweł
6 Baldan, Paolo
6 Corradini, Andrea
6 Durán, Francisco
6 Sifakis, Joseph
6 Verdejo, Alberto
5 Lanese, Ivan
5 Lluch Lafuente, Alberto
5 Palomino, Miguel
5 Rocha, Camilo
5 Zanasi, Fabio
4 Alpuente, María
4 Arbab, Farhad
4 Ballis, Demis
4 Clarke, Dave
4 Frechina, Francisco
4 Komendantskaya, Ekaterina
4 Roşu, Grigore
4 Sapiña, Julia
3 Baranov, Eduard
3 Bracciali, Andrea
3 Kleijn, Jetty H. C. M.
3 König, Barbara
3 Koutny, Maciej
3 Lucanu, Dorel
3 Monreale, Giacoma Valentina
3 Pietkiewicz-Koutny, Marta
3 Pinna, G. Michele
3 Power, John
3 Sammartino, Matteo
3 Sassone, Vladimiro
3 Yoshida, Nobuko
2 Aguirre, Luis Antonio
2 Bae, Kyungmin
2 Baez, John C.
2 Bodei, Chiara
2 Böhm, Gabriella
2 Caballero, Rafael E.
2 Clavel, Manuel
2 Danos, Vincent
2 De Nicola, Rocco
2 Dezani-Ciancaglini, Mariangiola
2 Eker, Steven
2 Falaschi, Moreno
2 Foss, Luciana
2 Lazovik, Alexander
2 Loreti, Michele
2 Marché, Claude
2 Martín, Óscar
2 Master, Jade
2 Muñoz, César A.
2 Olarte, Carlos
2 Pace, Gordon J.
2 Pita, Isabel
2 Ribeiro, Leila
2 Riesco, Adrián
2 Rozenberg, Grzegorz
2 Sabadini, Nicoletta
2 Stehr, Mark-Oliver
2 Talcott, Carolyn L.
2 Varacca, Daniele
2 Vieira, Hugo Torres
2 Walters, Robert F. C.
1 Abela, Patrick
1 Abreu Júnior, João Carlos
1 Adriansyah, Arya
1 Alarcón, Beatriz
1 AlTurki, Musab A.
1 Andrei, Oana
1 Arusoaie, Andrei
1 Attie, Paul C.
1 Autili, Marco
1 Barbosa, Luís Soares
1 Bartoletti, Massimo
1 Bensalem, Saddek
1 Bentea, Lucian
1 Biswas, Debmalya
1 Bolognesi, Tommaso
1 Bonsangue, Marcello Maria
1 Boreale, Michele
1 Borgström, Johannes
1 Boronat, Artur
1 Bouassida Rodriguez, Ismael
1 Bozapalidis, Symeon
1 Bozga, Marius
1 Bravetti, Mario
1 Brogi, Antonio
1 Cabrera, Benjamin
1 Caires, Luís
...and 143 more Authors

Citations by Year