×

zbMATH — the first resource for mathematics

Zavattaro, Gianluigi

Compute Distance To:
Author ID: zavattaro.gianluigi Recent zbMATH articles by "Zavattaro, Gianluigi"
Published as: Zavattaro, G.; Zavattaro, Gianluigi
Documents Indexed: 79 Publications since 1997, including 10 Books

Publications by Year

Citations contained in zbMATH Open

55 Publications have been cited 286 times in 172 Documents Cited by Year
On the expressive power of movement and restriction in pure mobile ambients. Zbl 1071.68072
Busi, Nadia; Zavattaro, Gianluigi
17
2004
On the expressiveness of Linda coordination primitives. Zbl 1046.68616
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
16
2000
Contract based multi-party service composition. Zbl 1141.68502
Bravetti, Mario; Zavattaro, Gianluigi
14
2007
Foundations of web transactions. Zbl 1118.68335
Laneve, Cosimo; Zavattaro, Gianluigi
14
2005
Comparing recursion, replication, and iteration in process calculi. Zbl 1098.68086
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
12
2004
Parameterized verification of ad hoc networks. Zbl 1287.68106
Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi
11
2010
On the computational power of biochemistry. Zbl 1171.92318
Cardelli, Luca; Zavattaro, Gianluigi
11
2008
A calculus for long-running transactions. Zbl 1253.68056
Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi
11
2003
Replication vs. recursive definitions in channel based calculi. Zbl 1039.68082
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
11
2003
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
10
2009
Termination problems in chemical kinetics. Zbl 1160.68478
Zavattaro, Gianluigi; Cardelli, Luca
10
2008
A process algebraic view of Linda coordination primitives. Zbl 0895.68016
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
9
1998
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
7
2017
Comparing three semantics for Linda-like languages. Zbl 0954.68092
Busi, N.; Gorrieri, R.; Zavattaro, G.
7
2000
Adaptable processes. Zbl 1253.68237
Bravetti, Mario; di Giusto, Cinzia; Perez, Jorge A.; Zavattaro, Gianluigi
6
2012
On the power of cliques in the parameterized verification of ad hoc networks. Zbl 1326.68040
Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi
6
2011
A foundational theory of contracts for multi-party service composition. Zbl 1154.68336
Bravetti, Mario; Zavattaro, Gianluigi
6
2008
Deciding reachability in mobile ambients. Zbl 1108.68539
Busi, Nadia; Zavattaro, Gianluigi
6
2005
Temporary data in shared dataspace coordination languages. Zbl 0986.68098
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
6
2001
On the complexity of parameterized reachability in reconfigurable broadcast networks. Zbl 1354.68014
Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo; Zavattaro, Gianluigi
5
2012
A theory of contracts for strong service compliance. Zbl 1186.68318
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
On the expressive power of process interruption and compensation. Zbl 1186.68317
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
5
2007
On the Turing-equivalence of Linda coordination primitives. Zbl 0911.68139
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
5
1997
On the boundary between decidability and undecidability of asynchronous session subtyping. Zbl 1388.68024
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
4
2018
nano\(\kappa\): A calculus for the modeling and simulation of nano devices. Zbl 1160.68677
Credi, A.; Garavelli, M.; Laneve, C.; Pradalier, S.; Silvi, S.; Zavattaro, G.
4
2008
Reachability analysis in boxed ambients. Zbl 1171.68565
Busi, Nadia; Zavattaro, Gianluigi
4
2005
Process calculi for coordination: From Linda to JavaSpaces. Zbl 0983.68521
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
4
2000
On the expressiveness of event notification in data-driven coordination languages. Zbl 0971.68655
Busi, Nadia; Zavattaro, Gianluigi
4
2000
An algebra of actors. Zbl 0928.68020
Gaspari, Mauro; Zavattaro, Gianluigi
4
1999
On the relationship between spatial logics and behavioral simulations. Zbl 1284.03204
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
3
2010
Turing universality of the biochemical ground form. Zbl 1191.68301
Cardelli, Luca; Zavattaro, Gianluigi
3
2010
A process algebraic view of shared dataspace coordination. Zbl 1135.68043
Busi, Nadia; Zavattaro, Gianluigi
3
2008
Quantitative information in the tuple space coordination model. Zbl 1080.68007
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
3
2005
Expired data collection in shared dataspaces. Zbl 1038.68037
Busi, Nadia; Zavattaro, Gianluigi
3
2003
Towards a hierarchy of negative test operators for generative communication. Zbl 0917.68073
Zavattaro, Gianluigi
3
1998
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
2
2018
Behavioural contracts with request-response operations. Zbl 1264.68117
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
2
2013
Reachability analysis in BioAmbients. Zbl 1347.68275
Zavattaro, Gianluigi
2
2009
Deciding reachability problems in Turing-complete fragments of mobile ambients. Zbl 1191.68433
Busi, Nadia; Zavattaro, Gianluigi
2
2009
On the expressiveness of forwarding in higher-order communication. Zbl 1250.68208
Di Giusto, Cinzia; Pérez, Jorge A.; Zavattaro, Gianluigi
2
2009
Supporting secure coordination in SecSpaces. Zbl 1114.68024
Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
2
2006
Secure shared data-space coordination languages: a process algebraic survey. Zbl 1103.68432
Focardi, Riccardo; Lucchi, Roberto; Zavattaro, Gianluigi
2
2006
web\(\pi\) at work. Zbl 1151.68539
Laneve, Cosimo; Zavattaro, Gianluigi
2
2005
State- and event-based reactive programming in shared dataspaces. Zbl 1053.68816
Busi, Nadia; Rowstron, Antony; Zavattaro, Gianluigi
2
2002
On the semantics of JavaSpaces. Zbl 0968.68019
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
2
2000
Process calculi as a tool for studying coordination, contracts and session types. Zbl 07189660
Bravetti, Mario; Zavattaro, Gianluigi
1
2020
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
1
2013
Complex functional rates in rule-based languages for biochemistry. Zbl 1381.92030
Versari, Cristian; Zavattaro, Gianluigi
1
2012
Reachability problems in BioAmbients. Zbl 1238.68097
Delzanno, Giorgio; Zavattaro, Gianluigi
1
2012
Dynamic error handling in service oriented applications. Zbl 1215.68040
Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
1
2009
CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Zbl 1173.68003
Bravetti, Mario (ed.); Zavattaro, Gianluigi (ed.)
1
2009
Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2–7, 2008. Advanced lectures. Zbl 1137.68302
Bernardo, Marco (ed.); Degano, Pierpaolo (ed.); Zavattaro, Gianluigi (ed.)
1
2008
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
An actor algebra for specifying distributed systems: the hurried philosophers case study. Zbl 0976.68586
Gaspari, Mauro; Zavattaro, Gianluigi
1
2001
Process calculi as a tool for studying coordination, contracts and session types. Zbl 07189660
Bravetti, Mario; Zavattaro, Gianluigi
1
2020
On the boundary between decidability and undecidability of asynchronous session subtyping. Zbl 1388.68024
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
4
2018
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
2
2018
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
7
2017
Behavioural contracts with request-response operations. Zbl 1264.68117
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
2
2013
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
1
2013
Adaptable processes. Zbl 1253.68237
Bravetti, Mario; di Giusto, Cinzia; Perez, Jorge A.; Zavattaro, Gianluigi
6
2012
On the complexity of parameterized reachability in reconfigurable broadcast networks. Zbl 1354.68014
Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo; Zavattaro, Gianluigi
5
2012
Complex functional rates in rule-based languages for biochemistry. Zbl 1381.92030
Versari, Cristian; Zavattaro, Gianluigi
1
2012
Reachability problems in BioAmbients. Zbl 1238.68097
Delzanno, Giorgio; Zavattaro, Gianluigi
1
2012
On the power of cliques in the parameterized verification of ad hoc networks. Zbl 1326.68040
Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi
6
2011
Parameterized verification of ad hoc networks. Zbl 1287.68106
Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi
11
2010
On the relationship between spatial logics and behavioral simulations. Zbl 1284.03204
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
3
2010
Turing universality of the biochemical ground form. Zbl 1191.68301
Cardelli, Luca; Zavattaro, Gianluigi
3
2010
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
10
2009
A theory of contracts for strong service compliance. Zbl 1186.68318
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
On the expressive power of process interruption and compensation. Zbl 1186.68317
Bravetti, Mario; Zavattaro, Gianluigi
5
2009
Reachability analysis in BioAmbients. Zbl 1347.68275
Zavattaro, Gianluigi
2
2009
Deciding reachability problems in Turing-complete fragments of mobile ambients. Zbl 1191.68433
Busi, Nadia; Zavattaro, Gianluigi
2
2009
On the expressiveness of forwarding in higher-order communication. Zbl 1250.68208
Di Giusto, Cinzia; Pérez, Jorge A.; Zavattaro, Gianluigi
2
2009
Dynamic error handling in service oriented applications. Zbl 1215.68040
Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
1
2009
CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Zbl 1173.68003
Bravetti, Mario (ed.); Zavattaro, Gianluigi (ed.)
1
2009
On the computational power of biochemistry. Zbl 1171.92318
Cardelli, Luca; Zavattaro, Gianluigi
11
2008
Termination problems in chemical kinetics. Zbl 1160.68478
Zavattaro, Gianluigi; Cardelli, Luca
10
2008
A foundational theory of contracts for multi-party service composition. Zbl 1154.68336
Bravetti, Mario; Zavattaro, Gianluigi
6
2008
nano\(\kappa\): A calculus for the modeling and simulation of nano devices. Zbl 1160.68677
Credi, A.; Garavelli, M.; Laneve, C.; Pradalier, S.; Silvi, S.; Zavattaro, G.
4
2008
A process algebraic view of shared dataspace coordination. Zbl 1135.68043
Busi, Nadia; Zavattaro, Gianluigi
3
2008
Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2–7, 2008. Advanced lectures. Zbl 1137.68302
Bernardo, Marco (ed.); Degano, Pierpaolo (ed.); Zavattaro, Gianluigi (ed.)
1
2008
Contract based multi-party service composition. Zbl 1141.68502
Bravetti, Mario; Zavattaro, Gianluigi
14
2007
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
5
2007
Supporting secure coordination in SecSpaces. Zbl 1114.68024
Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
2
2006
Secure shared data-space coordination languages: a process algebraic survey. Zbl 1103.68432
Focardi, Riccardo; Lucchi, Roberto; Zavattaro, Gianluigi
2
2006
Foundations of web transactions. Zbl 1118.68335
Laneve, Cosimo; Zavattaro, Gianluigi
14
2005
Deciding reachability in mobile ambients. Zbl 1108.68539
Busi, Nadia; Zavattaro, Gianluigi
6
2005
Reachability analysis in boxed ambients. Zbl 1171.68565
Busi, Nadia; Zavattaro, Gianluigi
4
2005
Quantitative information in the tuple space coordination model. Zbl 1080.68007
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
3
2005
web\(\pi\) at work. Zbl 1151.68539
Laneve, Cosimo; Zavattaro, Gianluigi
2
2005
On the expressive power of movement and restriction in pure mobile ambients. Zbl 1071.68072
Busi, Nadia; Zavattaro, Gianluigi
17
2004
Comparing recursion, replication, and iteration in process calculi. Zbl 1098.68086
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
12
2004
A calculus for long-running transactions. Zbl 1253.68056
Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi
11
2003
Replication vs. recursive definitions in channel based calculi. Zbl 1039.68082
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
11
2003
Expired data collection in shared dataspaces. Zbl 1038.68037
Busi, Nadia; Zavattaro, Gianluigi
3
2003
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
State- and event-based reactive programming in shared dataspaces. Zbl 1053.68816
Busi, Nadia; Rowstron, Antony; Zavattaro, Gianluigi
2
2002
Temporary data in shared dataspace coordination languages. Zbl 0986.68098
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
6
2001
An actor algebra for specifying distributed systems: the hurried philosophers case study. Zbl 0976.68586
Gaspari, Mauro; Zavattaro, Gianluigi
1
2001
On the expressiveness of Linda coordination primitives. Zbl 1046.68616
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
16
2000
Comparing three semantics for Linda-like languages. Zbl 0954.68092
Busi, N.; Gorrieri, R.; Zavattaro, G.
7
2000
Process calculi for coordination: From Linda to JavaSpaces. Zbl 0983.68521
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
4
2000
On the expressiveness of event notification in data-driven coordination languages. Zbl 0971.68655
Busi, Nadia; Zavattaro, Gianluigi
4
2000
On the semantics of JavaSpaces. Zbl 0968.68019
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
2
2000
An algebra of actors. Zbl 0928.68020
Gaspari, Mauro; Zavattaro, Gianluigi
4
1999
A process algebraic view of Linda coordination primitives. Zbl 0895.68016
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
9
1998
Towards a hierarchy of negative test operators for generative communication. Zbl 0917.68073
Zavattaro, Gianluigi
3
1998
On the Turing-equivalence of Linda coordination primitives. Zbl 0911.68139
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
5
1997
all top 5

Cited by 283 Authors

20 Zavattaro, Gianluigi
10 Busi, Nadia
9 Yoshida, Nobuko
8 Bravetti, Mario
8 Pugliese, Rosario
7 Delzanno, Giorgio
7 Gorla, Daniele
6 Gorrieri, Roberto
6 Laneve, Cosimo
6 Padovani, Luca
5 Gadducci, Fabio
4 Baldan, Paolo
4 Bonchi, Filippo
4 Cardelli, Luca
4 Doty, David
4 Lanese, Ivan
4 Phillips, Andrew
4 Tiezzi, Francesco
3 Abdulla, Parosh Aziz
3 Bocchi, Laura
3 Boreale, Michele
3 De Nicola, Rocco
3 Dezani-Ciancaglini, Mariangiola
3 Fu, Yuxi
3 Gibbons, Jeremy
3 Hildebrandt, Thomas T.
3 Montagna, Roberto
3 Pérez, Jorge A.
3 Soloveichik, David
3 Stahl, Christian
3 Winfree, Erik
3 Wong, Peter Y. H.
2 Acciai, Lucia
2 Barbanera, Franco
2 Bartoletti, Massimo
2 Bonsangue, Marcello Maria
2 Bruni, Roberto
2 Carbone, Marco
2 Cimoli, Tiziana
2 Corradini, Andrea
2 Ferrari, Gian Luigi
2 Finkel, Alain
2 Gabbrielli, Maurizio
2 Gardner, Philippa Anne
2 Gaspari, Mauro
2 Given-Wilson, Thomas
2 Hajiaghayi, Monir
2 Honda, Kohei
2 Hu, Raymond
2 Hüttel, Hans
2 Lange, Julien
2 Legay, Axel
2 Lucchi, Roberto
2 Monreale, Giacoma Valentina
2 Mostrous, Dimitris
2 Nestmann, Uwe
2 Neykova, Rumyana
2 Phillips, Iain W.
2 Pinna, G. Michele
2 Priami, Corrado
2 Rezine, Othmane
2 Rutten, Jan J. M. M.
2 Sangnier, Arnaud
2 Santini, Francesco
2 Slaats, Tijs
2 Traverso, Riccardo
2 Tuosto, Emilio
2 Valencia, Frank D.
2 Vandin, Andrea
2 Versari, Cristian
2 Vigliotti, Maria Grazia
2 Viroli, Mirko
2 Xu, Xian
2 Zunino, Roberto
1 Aceto, Luca
1 Aminof, Benjamin
1 Andrei, Oana
1 Andreychenko, Aleksandr
1 Aranda, Jesús
1 Arbab, Farhad
1 Baeten, Jos C. M.
1 Balasubramanian, A. R.
1 Ballardin, Francesco
1 Baller, Hauke
1 Banti, Federico
1 Basile, Davide
1 Begon, Michael
1 Bertrand, Nathalie
1 Bhattacharyya, Anirban
1 Bistarelli, Stefano
1 Bouyer, Patricia
1 Bretschneider, Jan
1 Brodo, Linda
1 Brogi, Antonio
1 Bundgaard, Mikkel
1 Caires, Luís
1 Camacho, Carlos J.
1 Cambronero, María Emilia
1 Capecchi, Sara
1 Caron, Emmanuelle
...and 183 more Authors

Citations by Year