Edit Profile Sangiorgi, Davide Compute Distance To: Compute Author ID: sangiorgi.davide Published as: Sangiorgi, D.; Sangiorgi, Davide Documents Indexed: 96 Publications since 1989, including 7 Books all top 5 Co-Authors 25 single-authored 18 Hirschkoff, Daniel 5 Demangeon, Romain 5 Lanese, Ivan 5 Madiot, Jean-Marie 4 Dal Lago, Ugo 4 Deng, Yuxin 4 Durier, Adrien 4 Fachini, Emanuela 4 Pous, Damien 3 Boreale, Michele 3 Lozes, Etienne 3 Vignudelli, Valeria 2 Kobayashi, Naoki 2 Maggiolo-Schettini, Andrea 2 Martini, Simone 2 Merro, Massimo 2 Pérez, Jorge A. 2 Pierce, Benjamin C. 2 Schettini, A. Maggiolo 2 Schmitt, Alan 2 Valente, Andrea 2 Walker, David W. 2 Xu, Xian 1 Alberti, Michele 1 Amadio, Roberto M. 1 Baeten, Jos C. M. 1 Bernardo, Marco 1 Carayol, Arnaud 1 Castellani, Ilaria 1 Chatzigiannakis, Ioannis 1 Crubillé, Raphaëlle 1 Dardha, Ornela 1 De Nicola, Rocco 1 de Simone, Robert 1 Díaz, Josep 1 Fiore, Marcelo P. 1 Giachino, Elena 1 Giannini, Paola 1 Gruska, Jozef 1 Kleist, Josva 1 Lengauer, Christian 1 Levi, Francesca 1 Mezzetti, Nicola 1 Milner, Robin 1 Mitzenmacher, Michael 1 Moggi, Eugenio 1 Parrow, Joachim 1 Pistore, Marco 1 Rabani, Yuval 1 Resta, Giovanni 1 Rutten, Jan J. M. M. 1 Sumii, Eijiro 1 Tian, Chun all top 5 Serials 11 Information and Computation 10 Theoretical Computer Science 7 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 3 Acta Informatica 3 Lecture Notes in Computer Science 2 Science of Computer Programming 2 The Journal of Logic and Algebraic Programming 1 Annales Societatis Mathematicae Polonae. Series IV 1 Formal Aspects of Computing 1 International Journal of Foundations of Computer Science 1 Journal of the ACM 1 ACM Transactions on Computational Logic 1 Cambridge Tracts in Theoretical Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 93 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 83 Publications have been cited 1,142 times in 580 Documents Cited by ▼ Year ▼ The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116Sangiorgi, Davide; Walker, David 214 2001 Typing and subtyping for mobile processes. Zbl 0861.68030Pierce, Benjamin; Sangiorgi, Davide 74 1996 A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072Sangiorgi, Davide 59 1996 \(\pi\)-Calculus, internal mobility, and agent-passing calculi. Zbl 0874.68103Sangiorgi, Davide 55 1996 On bisimulations for the asynchronous \(\pi\)-calculus. Zbl 0915.68009Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide 51 1998 Introduction to bisimulation and coinduction. Zbl 1252.68008Sangiorgi, Davide 41 2012 Bisimulation for higher-order process calculi. Zbl 0876.68042Sangiorgi, Davide 40 1996 On the bisimulation proof method. Zbl 0916.68057Sangiorgi, Davide 37 1998 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103Boreale, Michele; Sangiorgi, Davide 35 1998 Controlling interference in ambients. Zbl 1323.68411Levi, Francesca; Sangiorgi, Davide 30 2000 A fully abstract model for the \(\pi\)-calculus. Zbl 1053.68066Fiore, M. P.; Moggi, E.; Sangiorgi, D. 26 2002 Behavioral equivalence in the polymorphic pi-calculus. Zbl 1094.68591Pierce, Benjamin C.; Sangiorgi, Davide 26 2000 On asynchrony in name-passing calculi. Zbl 0910.03019Merro, Massimo; Sangiorgi, Davide 24 1998 Algebraic theories for name-passing calculi. Zbl 0836.03020Parrow, Joachim; Sangiorgi, Davide 23 1995 Asynchronous process calculi: The first- and higher-order paradigms. Zbl 0956.68081Sangiorgi, D. 22 2001 The name discipline of uniform receptiveness. Zbl 0930.68035Sangiorgi, Davide 21 1999 The lazy lambda calculus in a concurrency scenario. Zbl 0804.03008Sangiorgi, Davide 21 1994 Extensionality and intensionality of the ambient logics. Zbl 1323.68415Sangiorgi, Davide 19 2001 Enhancements of the bisimulation proof method. Zbl 1285.68111Pous, Damien; Sangiorgi, Davide 17 2012 Origins of bisimulation and coinduction. Zbl 1285.68112Sangiorgi, Davide 16 2012 On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan 15 2011 On asynchrony in name-passing calculi. Zbl 1093.68026Merro, Massimo; Sangiorgi, Davide 15 2004 Towards a calculus for wireless systems. Zbl 1273.68264Mezzetti, Nicola; Sangiorgi, Davide 14 2006 Logical bisimulations and functional languages. Zbl 1141.68377Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro 13 2007 Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117Boreale, Michele; Sangiorgi, Davide 13 1998 Separability in the ambient logic. Zbl 1151.03017Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 11 2008 On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090Sangiorgi, Davide; Walker, David 11 2001 Session types revisited. Zbl 1376.68099Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide 10 2017 Advanced topics in bisimulation and coinduction. Zbl 1264.68009Sangiorgi, Davide (ed.); Rutten, Jan (ed.) 9 2012 On the expressiveness of polyadic and synchronous communication in higher-order process calculi. Zbl 1288.68183Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan 9 2010 Locality and interleaving semantics in calculi for mobile processes. Zbl 0874.68115Sangiorgi, Davide 9 1996 On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide 8 2005 An operational semantics for a calculus for wireless systems. Zbl 1200.68035Lanese, Ivan; Sangiorgi, Davide 7 2010 Ensuring termination by typability. Zbl 1110.68084Deng, Yuxin; Sangiorgi, Davide 7 2006 Termination of processes. Zbl 1092.68069Sangiorgi, Davide 6 2006 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245Boreale, Michele; Sangiorgi, Davide 6 1995 Some structural properties of systolic tree automata. Zbl 0687.68036Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D. 6 1989 Environmental bisimulations for probabilistic higher-order languages. Zbl 1347.68056Sangiorgi, Davide; Vignudelli, Valeria 5 2016 Equations, contractions, and unique solutions. Zbl 1346.68139Sangiorgi, Davide 5 2015 Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 5 2013 Imperative objects as mobile processes. Zbl 1014.68104Kleist, Josva; Sangiorgi, Davide 5 2002 A distributed abstract machine for safe ambients (extended abstract). Zbl 0986.68511Sangiorgi, Davide; Valente, Andrea 5 2001 An interpretation of typed objects into typed \(\pi\)-calculus. Zbl 0914.03039Sangiorgi, Davide 5 1998 On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele 4 2014 Termination in impure concurrent languages. Zbl 1287.68129Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 4 2010 A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474Kobayashi, Naoki; Sangiorgi, Davide 4 2008 An efficient abstract machine for safe ambients. Zbl 1116.68056Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide 4 2007 Safe ambients: Abstract machine and distributed implementation. Zbl 1085.68044Giannini, Paola; Sangiorgi, Davide; Valente, Andrea 4 2006 Minimality results for the spatial logics. Zbl 1205.03046Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 4 2003 The name discipline of uniform receptiveness. Zbl 1401.68234Sangiorgi, Davide 4 1997 Locality and true-concurrency in calculi for mobile processes. Zbl 0942.68631Sangiorgi, Davide 4 1994 Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide 3 2014 Trees from functions as processes. Zbl 1417.68138Sangiorgi, Davide; Xu, Xian 3 2014 Beyond bisimulation: the “up-to” techniques. Zbl 1196.68160Sangiorgi, Davide 3 2006 Towards an algebraic theory of typed mobile processes. Zbl 1086.68090Deng, Yuxin; Sangiorgi, Davide 3 2006 Types, or: Where’s the difference between CCS and \(\pi\)? Zbl 1012.68137Sangiorgi, Davide 3 2002 A partition refinement algorithm for the \(\pi\)-calculus. Zbl 1003.68082Pistore, Marco; Sangiorgi, Davide 3 2001 Barbed bisimulation. Zbl 1425.68298Milner, Robin; Sangiorgi, Davide 3 1992 Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D. 3 1990 Simulation of systolic tree automata on trellis automata. Zbl 0726.68057Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide 3 1990 Divergence and unique solution of equations. Zbl 1442.68134Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2 2019 Light logics and higher-order processes. Zbl 1362.68209Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide 2 2016 Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021Diaz, Josep (ed.); Lanese, Ivan (ed.); Sangiorgi, Davide (ed.) 2 2014 Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 2 2012 Termination in higher-order concurrent calculi. Zbl 1274.68067Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 2 2010 Mobile processes and termination. Zbl 1253.68239Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 2 2009 On the expressiveness of the ambient logic. Zbl 1126.68056Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 2 2006 Ensuring termination by typability. Zbl 1088.68661Deng, Yuxin; Sangiorgi, Davide 2 2004 On the proof method for bisimulation. Zbl 1193.68177Sangiorgi, Davide 2 1995 Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D. 2 1992 Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 1 2020 Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010Pous, Damien; Sangiorgi, Davide 1 2019 Trees from functions as processes. Zbl 06932685Sangiorgi, Davide; Xu, Xian 1 2018 Divergence and unique solution of equations. Zbl 1442.68135Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 1 2017 Equations, contractions, and unique solutions. Zbl 1367.68212Sangiorgi, Davide 1 2017 Name-passing calculi: from fusions to preorders and types. Zbl 1353.68206Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 1 2016 On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria 1 2015 Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003Baeten, Jos C. M.; Sangiorgi, Davide 1 2014 On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria 1 2014 Termination in higher-order concurrent calculi. Zbl 1205.68241Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 1 2010 Bisimulation and co-induction: some problems. Zbl 1316.68107Sangiorgi, Davide 1 2006 From \(\lambda\) to \(\pi\); or, rediscovering continuations. Zbl 0939.68019Sangiorgi, Davide 1 1999 Internal mobility and agent-passing calculi. Zbl 1412.68156Sangiorgi, Davide 1 1995 Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 1 2020 Divergence and unique solution of equations. Zbl 1442.68134Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2 2019 Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010Pous, Damien; Sangiorgi, Davide 1 2019 Trees from functions as processes. Zbl 06932685Sangiorgi, Davide; Xu, Xian 1 2018 Session types revisited. Zbl 1376.68099Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide 10 2017 Divergence and unique solution of equations. Zbl 1442.68135Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 1 2017 Equations, contractions, and unique solutions. Zbl 1367.68212Sangiorgi, Davide 1 2017 Environmental bisimulations for probabilistic higher-order languages. Zbl 1347.68056Sangiorgi, Davide; Vignudelli, Valeria 5 2016 Light logics and higher-order processes. Zbl 1362.68209Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide 2 2016 Name-passing calculi: from fusions to preorders and types. Zbl 1353.68206Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 1 2016 Equations, contractions, and unique solutions. Zbl 1346.68139Sangiorgi, Davide 5 2015 On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria 1 2015 On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele 4 2014 Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide 3 2014 Trees from functions as processes. Zbl 1417.68138Sangiorgi, Davide; Xu, Xian 3 2014 Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021Diaz, Josep (ed.); Lanese, Ivan (ed.); Sangiorgi, Davide (ed.) 2 2014 Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003Baeten, Jos C. M.; Sangiorgi, Davide 1 2014 On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria 1 2014 Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 5 2013 Introduction to bisimulation and coinduction. Zbl 1252.68008Sangiorgi, Davide 41 2012 Enhancements of the bisimulation proof method. Zbl 1285.68111Pous, Damien; Sangiorgi, Davide 17 2012 Origins of bisimulation and coinduction. Zbl 1285.68112Sangiorgi, Davide 16 2012 Advanced topics in bisimulation and coinduction. Zbl 1264.68009Sangiorgi, Davide (ed.); Rutten, Jan (ed.) 9 2012 Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 2 2012 On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan 15 2011 On the expressiveness of polyadic and synchronous communication in higher-order process calculi. Zbl 1288.68183Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan 9 2010 An operational semantics for a calculus for wireless systems. Zbl 1200.68035Lanese, Ivan; Sangiorgi, Davide 7 2010 Termination in impure concurrent languages. Zbl 1287.68129Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 4 2010 Termination in higher-order concurrent calculi. Zbl 1274.68067Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 2 2010 Termination in higher-order concurrent calculi. Zbl 1205.68241Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 1 2010 Mobile processes and termination. Zbl 1253.68239Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 2 2009 Separability in the ambient logic. Zbl 1151.03017Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 11 2008 A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474Kobayashi, Naoki; Sangiorgi, Davide 4 2008 Logical bisimulations and functional languages. Zbl 1141.68377Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro 13 2007 An efficient abstract machine for safe ambients. Zbl 1116.68056Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide 4 2007 Towards a calculus for wireless systems. Zbl 1273.68264Mezzetti, Nicola; Sangiorgi, Davide 14 2006 Ensuring termination by typability. Zbl 1110.68084Deng, Yuxin; Sangiorgi, Davide 7 2006 Termination of processes. Zbl 1092.68069Sangiorgi, Davide 6 2006 Safe ambients: Abstract machine and distributed implementation. Zbl 1085.68044Giannini, Paola; Sangiorgi, Davide; Valente, Andrea 4 2006 Beyond bisimulation: the “up-to” techniques. Zbl 1196.68160Sangiorgi, Davide 3 2006 Towards an algebraic theory of typed mobile processes. Zbl 1086.68090Deng, Yuxin; Sangiorgi, Davide 3 2006 On the expressiveness of the ambient logic. Zbl 1126.68056Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 2 2006 Bisimulation and co-induction: some problems. Zbl 1316.68107Sangiorgi, Davide 1 2006 On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide 8 2005 On asynchrony in name-passing calculi. Zbl 1093.68026Merro, Massimo; Sangiorgi, Davide 15 2004 Ensuring termination by typability. Zbl 1088.68661Deng, Yuxin; Sangiorgi, Davide 2 2004 Minimality results for the spatial logics. Zbl 1205.03046Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 4 2003 A fully abstract model for the \(\pi\)-calculus. Zbl 1053.68066Fiore, M. P.; Moggi, E.; Sangiorgi, D. 26 2002 Imperative objects as mobile processes. Zbl 1014.68104Kleist, Josva; Sangiorgi, Davide 5 2002 Types, or: Where’s the difference between CCS and \(\pi\)? Zbl 1012.68137Sangiorgi, Davide 3 2002 The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116Sangiorgi, Davide; Walker, David 214 2001 Asynchronous process calculi: The first- and higher-order paradigms. Zbl 0956.68081Sangiorgi, D. 22 2001 Extensionality and intensionality of the ambient logics. Zbl 1323.68415Sangiorgi, Davide 19 2001 On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090Sangiorgi, Davide; Walker, David 11 2001 A distributed abstract machine for safe ambients (extended abstract). Zbl 0986.68511Sangiorgi, Davide; Valente, Andrea 5 2001 A partition refinement algorithm for the \(\pi\)-calculus. Zbl 1003.68082Pistore, Marco; Sangiorgi, Davide 3 2001 Controlling interference in ambients. Zbl 1323.68411Levi, Francesca; Sangiorgi, Davide 30 2000 Behavioral equivalence in the polymorphic pi-calculus. Zbl 1094.68591Pierce, Benjamin C.; Sangiorgi, Davide 26 2000 The name discipline of uniform receptiveness. Zbl 0930.68035Sangiorgi, Davide 21 1999 From \(\lambda\) to \(\pi\); or, rediscovering continuations. Zbl 0939.68019Sangiorgi, Davide 1 1999 On bisimulations for the asynchronous \(\pi\)-calculus. Zbl 0915.68009Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide 51 1998 On the bisimulation proof method. Zbl 0916.68057Sangiorgi, Davide 37 1998 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103Boreale, Michele; Sangiorgi, Davide 35 1998 On asynchrony in name-passing calculi. Zbl 0910.03019Merro, Massimo; Sangiorgi, Davide 24 1998 Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117Boreale, Michele; Sangiorgi, Davide 13 1998 An interpretation of typed objects into typed \(\pi\)-calculus. Zbl 0914.03039Sangiorgi, Davide 5 1998 The name discipline of uniform receptiveness. Zbl 1401.68234Sangiorgi, Davide 4 1997 Typing and subtyping for mobile processes. Zbl 0861.68030Pierce, Benjamin; Sangiorgi, Davide 74 1996 A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072Sangiorgi, Davide 59 1996 \(\pi\)-Calculus, internal mobility, and agent-passing calculi. Zbl 0874.68103Sangiorgi, Davide 55 1996 Bisimulation for higher-order process calculi. Zbl 0876.68042Sangiorgi, Davide 40 1996 Locality and interleaving semantics in calculi for mobile processes. Zbl 0874.68115Sangiorgi, Davide 9 1996 Algebraic theories for name-passing calculi. Zbl 0836.03020Parrow, Joachim; Sangiorgi, Davide 23 1995 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245Boreale, Michele; Sangiorgi, Davide 6 1995 On the proof method for bisimulation. Zbl 1193.68177Sangiorgi, Davide 2 1995 Internal mobility and agent-passing calculi. Zbl 1412.68156Sangiorgi, Davide 1 1995 The lazy lambda calculus in a concurrency scenario. Zbl 0804.03008Sangiorgi, Davide 21 1994 Locality and true-concurrency in calculi for mobile processes. Zbl 0942.68631Sangiorgi, Davide 4 1994 Barbed bisimulation. Zbl 1425.68298Milner, Robin; Sangiorgi, Davide 3 1992 Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D. 2 1992 Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D. 3 1990 Simulation of systolic tree automata on trellis automata. Zbl 0726.68057Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide 3 1990 Some structural properties of systolic tree automata. Zbl 0687.68036Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D. 6 1989 all cited Publications top 5 cited Publications all top 5 Cited by 624 Authors 34 Sangiorgi, Davide 21 Hennessy, Matthew C. B. 20 Yoshida, Nobuko 17 Montanari, Ugo G. 14 Bonchi, Filippo 14 Fu, Yuxi 12 Hirschkoff, Daniel 11 Boreale, Michele 11 Dezani-Ciancaglini, Mariangiola 11 Merro, Massimo 10 Gadducci, Fabio 10 Nestmann, Uwe 9 Caires, Luís 9 Deng, Yuxin 9 Hüttel, Hans 8 Dal Lago, Ugo 8 De Nicola, Rocco 8 Pous, Damien 8 Pugliese, Rosario 8 Rathke, Julian 7 Bruni, Roberto 7 Ferrari, Gian Luigi 7 Gordon, Andrew D. 7 Gorla, Daniele 7 Honda, Kohei 7 Ingólfsdóttir, Anna 7 Pérez, Jorge A. 7 Priami, Corrado 7 Sabel, David 6 Aceto, Luca 6 Amadio, Roberto M. 6 Barbanera, Franco 6 Bugliesi, Michele 6 Gorrieri, Roberto 6 Kobayashi, Naoki 6 Lanese, Ivan 6 Laneve, Cosimo 6 Maffeis, Sergio 6 Miculan, Marino 6 Phillips, Iain W. 6 Rot, Jurriaan 6 Schmidt-Schauß, Manfred 6 Tiu, Alwen Fernanto 5 Baldan, Paolo 5 Ciancia, Vincenzo 5 Degano, Pierpaolo 5 Gay, Simon J. 5 Padovani, Luca 5 Palamidessi, Catuscia 5 Pantović, Jovanka 5 Quaglia, Paola 5 Tiezzi, Francesco 5 Vieira, Hugo Torres 5 Vigliotti, Maria Grazia 5 Xu, Xian 4 Berger, Martin J. 4 Bodei, Chiara 4 Bonsangue, Marcello Maria 4 Busi, Nadia 4 Cardelli, Luca 4 Castagna, Giuseppe 4 de’Liguoro, Ugo 4 Fiore, Marcelo P. 4 Focardi, Riccardo 4 Francalanza, Adrian 4 Gardner, Philippa Anne 4 Ghilezan, Silvia 4 Godskesen, Jens Chr. 4 Horne, Ross 4 Jeffrey, Alan S. A. 4 Koutavas, Vasileios 4 Legay, Axel 4 Lenglet, Sergueï 4 Madiot, Jean-Marie 4 Miller, Dale Allen 4 Monreale, Giacoma Valentina 4 Montesi, Fabrizio 4 Nielson, Flemming 4 Peters, Kirstin 4 Ravara, António 4 Reniers, Michel Adriaan 4 Riis Nielson, Hanne 4 Rutten, Jan J. M. M. 4 Sassone, Vladimiro 4 Schmitt, Alan 4 Silva, Alexandra 4 Stark, Ian 4 Staton, Sam 4 Stefani, Jean-Bernard 4 van Glabbeek, Robert Jan 4 Varacca, Daniele 4 Vasconcelos, Vasco Thudichum 4 Walker, David W. 3 Acciai, Lucia 3 Åman Pohjola, Johannes 3 Barbuti, Roberto 3 Bidinger, Philippe 3 Borgström, Johannes 3 Brodo, Linda 3 Cao, Yongzhi ...and 524 more Authors all top 5 Cited in 38 Serials 130 Theoretical Computer Science 81 Information and Computation 28 Journal of Logical and Algebraic Methods in Programming 26 MSCS. Mathematical Structures in Computer Science 25 Acta Informatica 25 The Journal of Logic and Algebraic Programming 17 Logical Methods in Computer Science 16 Formal Aspects of Computing 7 Science of Computer Programming 6 Information Processing Letters 6 Journal of Automated Reasoning 6 Computer Languages, Systems & Structures 5 Distributed Computing 4 Formal Methods in System Design 4 Journal of Functional Programming 4 ACM Transactions on Computational Logic 3 Journal of Computer and System Sciences 3 Higher-Order and Symbolic Computation 2 Journal of Computer Science and Technology 2 International Journal of Approximate Reasoning 2 International Journal of Foundations of Computer Science 2 International Journal of Computer Mathematics 2 RAIRO. Theoretical Informatics and Applications 1 Artificial Intelligence 1 Information Sciences 1 Mathematical Systems Theory 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Foundations of Computing and Decision Sciences 1 Constraints 1 Science in China. Series E 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 Theory and Practice of Logic Programming 1 Natural Computing 1 Science in China. Series F 1 Science China. Information Sciences all top 5 Cited in 13 Fields 566 Computer science (68-XX) 105 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 11 Information and communication theory, circuits (94-XX) 6 Biology and other natural sciences (92-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 General algebraic systems (08-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year