×

zbMATH — the first resource for mathematics

Merro, Massimo

Compute Distance To:
Author ID: merro.massimo Recent zbMATH articles by "Merro, Massimo"
Published as: Merro, Massimo
External Links: ORCID
Documents Indexed: 33 Publications since 1998

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 213 times in 133 Documents Cited by Year
Bisimulation congruences in safe ambients. Zbl 1323.68412
Merro, Massimo; Hennessy, Matthew
25
2002
On asynchrony in name-passing calculi. Zbl 0910.03019
Merro, Massimo; Sangiorgi, Davide
24
1998
Behavioral theory for mobile ambients. Zbl 1326.68201
Merro, Massimo; Zappa Nardelli, Francesco
21
2005
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
15
2004
An observational theory for mobile ad hoc networks (full version). Zbl 1165.68052
Merro, Massimo
11
2009
Bisimulation proof methods for mobile ambients. Zbl 1039.68085
Merro, Massimo; Nardelli, Francesco Zappa
11
2003
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1071.68009
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
10
2004
Typing and subtyping mobility in boxed ambients. Zbl 1012.68529
Merro, Massimo; Sassone, Vladimiro
10
2002
Communication and mobility control in boxed ambients. Zbl 1101.68943
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
9
2005
An observational theory for mobile ad hoc networks. Zbl 1316.68099
Merro, Massimo
8
2007
Communication interference in mobile boxed ambients. Zbl 1027.68086
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
8
2002
A timed calculus for wireless systems. Zbl 1227.68077
Merro, Massimo; Ballardin, Francesco; Sibilio, Eleonora
6
2011
Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028
Lanotte, Ruggero; Merro, Massimo
6
2011
Behavioural theory for mobile ambients. Zbl 1095.68612
Merro, Massimo; Zappa Nardelli, Francesco
6
2004
Modelling MAC-layer communications in wireless systems. Zbl 1395.94007
Cerone, Andrea; Hennessy, Matthew; Merro, Massimo
5
2015
Modeling consensus in a process calculus. Zbl 1274.68247
Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
5
2003
A calculus of trustworthy ad hoc networks. Zbl 1298.68041
Merro, Massimo; Sibilio, Eleonora
4
2013
Locality and polyadicity in asynchronous name-passing calculi. Zbl 0961.68091
Merro, Massimo
4
2000
Mobile objects as mobile processes. Zbl 1093.68562
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2002
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2000
On the expressiveness of chi, update, and fusion calculi. Zbl 0917.68071
Merro, Massimo
3
1998
A semantic theory of the Internet of things. Zbl 1388.68013
Lanotte, Ruggero; Merro, Massimo
2
2018
A calculus of cyber-physical systems. Zbl 06725131
Lanotte, Ruggero; Merro, Massimo
2
2017
A timed calculus for wireless systems. Zbl 1274.68246
Merro, Massimo; Sibilio, Eleonora
2
2010
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1029.68109
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
2
2003
On equators in asynchronous name-passing calculi without matching. (Extended abstract). Zbl 0958.68114
Merro, Massimo
2
1999
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
1
2018
On the observational theory of the CPS-calculus. Zbl 1211.68270
Merro, Massimo
1
2010
On the observational theory of the CPS-calculus (extended abstract). Zbl 1273.68263
Merro, Massimo; Biasi, Corrado
1
2006
A semantic theory of the Internet of things. Zbl 1388.68013
Lanotte, Ruggero; Merro, Massimo
2
2018
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
1
2018
A calculus of cyber-physical systems. Zbl 06725131
Lanotte, Ruggero; Merro, Massimo
2
2017
Modelling MAC-layer communications in wireless systems. Zbl 1395.94007
Cerone, Andrea; Hennessy, Matthew; Merro, Massimo
5
2015
A calculus of trustworthy ad hoc networks. Zbl 1298.68041
Merro, Massimo; Sibilio, Eleonora
4
2013
A timed calculus for wireless systems. Zbl 1227.68077
Merro, Massimo; Ballardin, Francesco; Sibilio, Eleonora
6
2011
Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028
Lanotte, Ruggero; Merro, Massimo
6
2011
A timed calculus for wireless systems. Zbl 1274.68246
Merro, Massimo; Sibilio, Eleonora
2
2010
On the observational theory of the CPS-calculus. Zbl 1211.68270
Merro, Massimo
1
2010
An observational theory for mobile ad hoc networks (full version). Zbl 1165.68052
Merro, Massimo
11
2009
An observational theory for mobile ad hoc networks. Zbl 1316.68099
Merro, Massimo
8
2007
On the observational theory of the CPS-calculus (extended abstract). Zbl 1273.68263
Merro, Massimo; Biasi, Corrado
1
2006
Behavioral theory for mobile ambients. Zbl 1326.68201
Merro, Massimo; Zappa Nardelli, Francesco
21
2005
Communication and mobility control in boxed ambients. Zbl 1101.68943
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
9
2005
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
15
2004
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1071.68009
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
10
2004
Behavioural theory for mobile ambients. Zbl 1095.68612
Merro, Massimo; Zappa Nardelli, Francesco
6
2004
Bisimulation proof methods for mobile ambients. Zbl 1039.68085
Merro, Massimo; Nardelli, Francesco Zappa
11
2003
Modeling consensus in a process calculus. Zbl 1274.68247
Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
5
2003
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1029.68109
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
2
2003
Bisimulation congruences in safe ambients. Zbl 1323.68412
Merro, Massimo; Hennessy, Matthew
25
2002
Typing and subtyping mobility in boxed ambients. Zbl 1012.68529
Merro, Massimo; Sassone, Vladimiro
10
2002
Communication interference in mobile boxed ambients. Zbl 1027.68086
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
8
2002
Mobile objects as mobile processes. Zbl 1093.68562
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2002
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Locality and polyadicity in asynchronous name-passing calculi. Zbl 0961.68091
Merro, Massimo
4
2000
Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2000
On equators in asynchronous name-passing calculi without matching. (Extended abstract). Zbl 0958.68114
Merro, Massimo
2
1999
On asynchrony in name-passing calculi. Zbl 0910.03019
Merro, Massimo; Sangiorgi, Davide
24
1998
On the expressiveness of chi, update, and fusion calculi. Zbl 0917.68071
Merro, Massimo
3
1998
all top 5

Cited by 178 Authors

15 Merro, Massimo
8 Sangiorgi, Davide
7 Bonchi, Filippo
7 Fu, Yuxi
6 Nestmann, Uwe
5 Gadducci, Fabio
5 Gorla, Daniele
5 Hennessy, Matthew C. B.
5 Lanotte, Ruggero
4 Bugliesi, Michele
4 Dezani-Ciancaglini, Mariangiola
4 Hirschkoff, Daniel
4 Lenglet, Sergueï
4 Maffeis, Sergio
4 Monreale, Giacoma Valentina
4 Phillips, Iain W.
4 Tini, Simone
4 Yoshida, Nobuko
3 Cai, Xiaojuan
3 De Nicola, Rocco
3 Fournet, Cédric
3 Gardner, Philippa Anne
3 Hüttel, Hans
3 Laneve, Cosimo
3 Pous, Damien
3 Rathke, Julian
3 Sassone, Vladimiro
3 Schmitt, Alan
3 Stefani, Jean-Bernard
3 Vigliotti, Maria Grazia
2 Abdulla, Parosh Aziz
2 Amadio, Roberto M.
2 Åman Pohjola, Johannes
2 Cacciagrano, Diletta Romana
2 Castagna, Giuseppe
2 Compagnoni, Adriana B.
2 Corradini, Flavio
2 Delzanno, Giorgio
2 Ferrari, Gian Luigi
2 Focardi, Riccardo
2 Francalanza, Adrian
2 Fuzzati, Rachele
2 Ghassemi, Fatemeh
2 Ghilezan, Silvia
2 Godskesen, Jens Chr.
2 Höfner, Peter
2 Hym, Samuel
2 Jakšić, Svetlana
2 Kleist, Josva
2 Kühnrich, Morten
2 Liu, Si
2 Meseguer Guaita, José
2 Montanari, Ugo G.
2 Olveczky, Peter Csaba
2 Palamidessi, Catuscia
2 Pantović, Jovanka
2 Parrow, Joachim
2 Pugliese, Rosario
2 Rezine, Othmane
2 Sangnier, Arnaud
2 Sibilio, Eleonora
2 Sobociński, Paweł
2 Traverso, Riccardo
2 van Glabbeek, Robert Jan
2 Wischik, Lucian
2 Yang, Zhenrong
1 Abadi, Martín
1 Acciai, Lucia
1 Achermann, Franz
1 Ahern, Alexander
1 Amtoft, Torben
1 Aranda, Jesús
1 Ballardin, Francesco
1 Barbanera, Franco
1 Berger, Martin J.
1 Bidinger, Philippe
1 Biernacki, Dariusz
1 Bisping, Benjamin
1 Blanchet, Bruno
1 Bodei, Chiara
1 Bonelli, Eduardo
1 Boreale, Michele
1 Borgström, Johannes
1 Bourke, Timothy
1 Busi, Nadia
1 Caires, Luís
1 Carayol, Arnaud
1 Carbone, Marco
1 Caromel, Denis
1 Castiglioni, Valentina
1 Cenciarelli, Pietro
1 Chen, Taolue
1 Chothia, Tom
1 Coppo, Mario
1 Crafa, Silvia
1 de Frutos-Escrig, David
1 Degano, Pierpaolo
1 Dragoni, Nicola
1 Durier, Adrien
1 Fokkink, Wan
...and 78 more Authors

Citations by Year