Edit Profile Merro, Massimo Compute Distance To: Compute Author ID: merro.massimo Published as: Merro, Massimo External Links: ORCID Documents Indexed: 33 Publications since 1998 all top 5 Co-Authors 6 single-authored 6 Lanotte, Ruggero 5 Nestmann, Uwe 4 Hennessy, Matthew C. B. 3 Kleist, Josva 3 Sassone, Vladimiro 3 Sibilio, Eleonora 3 Zappa Nardelli, Francesco 2 Bugliesi, Michele 2 Crafa, Silvia 2 Fuzzati, Rachele 2 Rathke, Julian 2 Sangiorgi, Davide 2 Tini, Simone 1 Ballardin, Francesco 1 Biasi, Corrado 1 Cerone, Andrea 1 Hüttel, Hans 1 Mogavero, Fabio all top 5 Serials 5 Information and Computation 2 Acta Informatica 2 Theoretical Computer Science 2 Logical Methods in Computer Science 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Journal of the ACM Fields 31 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 30 Publications have been cited 211 times in 132 Documents Cited by ▼ Year ▼ Bisimulation congruences in safe ambients. Zbl 1323.68412Merro, Massimo; Hennessy, Matthew 25 2002 On asynchrony in name-passing calculi. Zbl 0910.03019Merro, Massimo; Sangiorgi, Davide 24 1998 Behavioral theory for mobile ambients. Zbl 1326.68201Merro, Massimo; Zappa Nardelli, Francesco 21 2005 On asynchrony in name-passing calculi. Zbl 1093.68026Merro, Massimo; Sangiorgi, Davide 14 2004 An observational theory for mobile ad hoc networks (full version). Zbl 1165.68052Merro, Massimo 11 2009 Bisimulation proof methods for mobile ambients. Zbl 1039.68085Merro, Massimo; Nardelli, Francesco Zappa 11 2003 Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1071.68009Hennessy, Matthew; Merro, Massimo; Rathke, Julian 10 2004 Typing and subtyping mobility in boxed ambients. Zbl 1012.68529Merro, Massimo; Sassone, Vladimiro 10 2002 Communication and mobility control in boxed ambients. Zbl 1101.68943Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 9 2005 An observational theory for mobile ad hoc networks. Zbl 1316.68099Merro, Massimo 8 2007 Communication interference in mobile boxed ambients. Zbl 1027.68086Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 8 2002 A timed calculus for wireless systems. Zbl 1227.68077Merro, Massimo; Ballardin, Francesco; Sibilio, Eleonora 6 2011 Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028Lanotte, Ruggero; Merro, Massimo 6 2011 Behavioural theory for mobile ambients. Zbl 1095.68612Merro, Massimo; Zappa Nardelli, Francesco 6 2004 Modelling MAC-layer communications in wireless systems. Zbl 1395.94007Cerone, Andrea; Hennessy, Matthew; Merro, Massimo 5 2015 Modeling consensus in a process calculus. Zbl 1274.68247Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo 5 2003 A calculus of trustworthy ad hoc networks. Zbl 1298.68041Merro, Massimo; Sibilio, Eleonora 4 2013 Locality and polyadicity in asynchronous name-passing calculi. Zbl 0961.68091Merro, Massimo 4 2000 Mobile objects as mobile processes. Zbl 1093.68562Merro, Massimo; Kleist, Josva; Nestmann, Uwe 3 2002 Aliasing models for mobile objects. Zbl 1012.68114Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo 3 2002 On the expressiveness of chi, update, and fusion calculi. Zbl 0917.68071Merro, Massimo 3 1998 A semantic theory of the Internet of things. Zbl 1388.68013Lanotte, Ruggero; Merro, Massimo 2 2018 A calculus of cyber-physical systems. Zbl 06725131Lanotte, Ruggero; Merro, Massimo 2 2017 A timed calculus for wireless systems. Zbl 1274.68246Merro, Massimo; Sibilio, Eleonora 2 2010 Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1029.68109Hennessy, Matthew; Merro, Massimo; Rathke, Julian 2 2003 Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517Merro, Massimo; Kleist, Josva; Nestmann, Uwe 2 2000 On equators in asynchronous name-passing calculi without matching. (Extended abstract). Zbl 0958.68114Merro, Massimo 2 1999 Equational reasonings in wireless network gossip protocols. Zbl 1408.68030Lanotte, Ruggero; Merro, Massimo; Tini, Simone 1 2018 On the observational theory of the CPS-calculus. Zbl 1211.68270Merro, Massimo 1 2010 On the observational theory of the CPS-calculus (extended abstract). Zbl 1273.68263Merro, Massimo; Biasi, Corrado 1 2006 A semantic theory of the Internet of things. Zbl 1388.68013Lanotte, Ruggero; Merro, Massimo 2 2018 Equational reasonings in wireless network gossip protocols. Zbl 1408.68030Lanotte, Ruggero; Merro, Massimo; Tini, Simone 1 2018 A calculus of cyber-physical systems. Zbl 06725131Lanotte, Ruggero; Merro, Massimo 2 2017 Modelling MAC-layer communications in wireless systems. Zbl 1395.94007Cerone, Andrea; Hennessy, Matthew; Merro, Massimo 5 2015 A calculus of trustworthy ad hoc networks. Zbl 1298.68041Merro, Massimo; Sibilio, Eleonora 4 2013 A timed calculus for wireless systems. Zbl 1227.68077Merro, Massimo; Ballardin, Francesco; Sibilio, Eleonora 6 2011 Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028Lanotte, Ruggero; Merro, Massimo 6 2011 A timed calculus for wireless systems. Zbl 1274.68246Merro, Massimo; Sibilio, Eleonora 2 2010 On the observational theory of the CPS-calculus. Zbl 1211.68270Merro, Massimo 1 2010 An observational theory for mobile ad hoc networks (full version). Zbl 1165.68052Merro, Massimo 11 2009 An observational theory for mobile ad hoc networks. Zbl 1316.68099Merro, Massimo 8 2007 On the observational theory of the CPS-calculus (extended abstract). Zbl 1273.68263Merro, Massimo; Biasi, Corrado 1 2006 Behavioral theory for mobile ambients. Zbl 1326.68201Merro, Massimo; Zappa Nardelli, Francesco 21 2005 Communication and mobility control in boxed ambients. Zbl 1101.68943Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 9 2005 On asynchrony in name-passing calculi. Zbl 1093.68026Merro, Massimo; Sangiorgi, Davide 14 2004 Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1071.68009Hennessy, Matthew; Merro, Massimo; Rathke, Julian 10 2004 Behavioural theory for mobile ambients. Zbl 1095.68612Merro, Massimo; Zappa Nardelli, Francesco 6 2004 Bisimulation proof methods for mobile ambients. Zbl 1039.68085Merro, Massimo; Nardelli, Francesco Zappa 11 2003 Modeling consensus in a process calculus. Zbl 1274.68247Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo 5 2003 Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1029.68109Hennessy, Matthew; Merro, Massimo; Rathke, Julian 2 2003 Bisimulation congruences in safe ambients. Zbl 1323.68412Merro, Massimo; Hennessy, Matthew 25 2002 Typing and subtyping mobility in boxed ambients. Zbl 1012.68529Merro, Massimo; Sassone, Vladimiro 10 2002 Communication interference in mobile boxed ambients. Zbl 1027.68086Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 8 2002 Mobile objects as mobile processes. Zbl 1093.68562Merro, Massimo; Kleist, Josva; Nestmann, Uwe 3 2002 Aliasing models for mobile objects. Zbl 1012.68114Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo 3 2002 Locality and polyadicity in asynchronous name-passing calculi. Zbl 0961.68091Merro, Massimo 4 2000 Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517Merro, Massimo; Kleist, Josva; Nestmann, Uwe 2 2000 On equators in asynchronous name-passing calculi without matching. (Extended abstract). Zbl 0958.68114Merro, Massimo 2 1999 On asynchrony in name-passing calculi. Zbl 0910.03019Merro, Massimo; Sangiorgi, Davide 24 1998 On the expressiveness of chi, update, and fusion calculi. Zbl 0917.68071Merro, Massimo 3 1998 all cited Publications top 5 cited Publications all top 5 Cited by 176 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 76 more Authors all top 5 Cited in 21 Serials 34 Theoretical Computer Science 24 Information and Computation 9 MSCS. Mathematical Structures in Computer Science 7 Acta Informatica 6 The Journal of Logic and Algebraic Programming 3 Formal Aspects of Computing 3 Journal of Logical and Algebraic Methods in Programming 2 Distributed Computing 2 Logical Methods in Computer Science 1 Information Sciences 1 Journal of Computer and System Sciences 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 ACM Transactions on Computational Logic 1 Science in China. Series F 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 7 Fields 131 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Biology and other natural sciences (92-XX) Citations by Year