Edit Profile (opens in new tab) Sangiorgi, Davide Compute Distance To: Compute Author ID: sangiorgi.davide Published as: Sangiorgi, Davide; Sangiorgi, D. Documents Indexed: 93 Publications since 1989, including 2 Books 6 Contributions as Editor Co-Authors: 51 Co-Authors with 72 Joint Publications 1,188 Co-Co-Authors all top 5 Co-Authors 25 single-authored 19 Hirschkoff, Daniel 6 Madiot, Jean-Marie 5 Demangeon, Romain 5 Durier, Adrien 5 Lanese, Ivan 5 Pous, Damien 4 Dal Lago, Ugo 4 Deng, Yuxin 4 Fachini, Emanuela 3 Boreale, Michele 3 Lozes, Etienne 3 Vignudelli, Valeria 2 Kobayashi, Naoki 2 Martini, Simone 2 Merro, Massimo 2 Pérez, Jorge A. 2 Pierce, Benjamin C. 2 Schmitt, Alan 2 Tian, Chun 2 Valente, Andrea 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 Maggiolo-Schettini, Andrea 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 all top 5 Serials 11 Theoretical Computer Science 11 Information and Computation 7 MSCS. Mathematical Structures in Computer Science 5 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 96 Computer science (68-XX) 25 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 Open 82 Publications have been cited 1,200 times in 630 Documents Cited by ▼ Year ▼ The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116Sangiorgi, Davide; Walker, David 221 2001 Typing and subtyping for mobile processes. Zbl 0861.68030Pierce, Benjamin; Sangiorgi, Davide 71 1996 A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072Sangiorgi, Davide 64 1996 \(\pi\)-Calculus, internal mobility, and agent-passing calculi. Zbl 0874.68103Sangiorgi, Davide 58 1996 Introduction to bisimulation and coinduction. Zbl 1252.68008Sangiorgi, Davide 55 2012 On bisimulations for the asynchronous \(\pi\)-calculus. Zbl 0915.68009Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide 48 1998 Bisimulation for higher-order process calculi. Zbl 0876.68042Sangiorgi, Davide 43 1996 On the bisimulation proof method. Zbl 0916.68057Sangiorgi, Davide 42 1998 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103Boreale, Michele; Sangiorgi, Davide 32 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 24 2000 Algebraic theories for name-passing calculi. Zbl 0836.03020Parrow, Joachim; Sangiorgi, Davide 24 1995 Enhancements of the bisimulation proof method. Zbl 1285.68111Pous, Damien; Sangiorgi, Davide 22 2012 Asynchronous process calculi: The first- and higher-order paradigms. Zbl 0956.68081Sangiorgi, D. 22 2001 On asynchrony in name-passing calculi. Zbl 0910.03019Merro, Massimo; Sangiorgi, Davide 21 1998 The lazy lambda calculus in a concurrency scenario. Zbl 0804.03008Sangiorgi, Davide 21 1994 The name discipline of uniform receptiveness. Zbl 0930.68035Sangiorgi, Davide 19 1999 Extensionality and intensionality of the ambient logics. Zbl 1323.68415Sangiorgi, Davide 19 2001 Barbed bisimulation. Zbl 1425.68298Milner, Robin; Sangiorgi, Davide 18 1992 On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090Sangiorgi, Davide; Walker, David 17 2001 On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan 17 2011 On asynchrony in name-passing calculi. Zbl 1093.68026Merro, Massimo; Sangiorgi, Davide 17 2004 Session types revisited. Zbl 1376.68099Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide 15 2017 Towards a calculus for wireless systems. Zbl 1273.68264Mezzetti, Nicola; Sangiorgi, Davide 14 2006 Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117Boreale, Michele; Sangiorgi, Davide 13 1998 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 11 2010 Origins of bisimulation and coinduction. Zbl 1285.68112Sangiorgi, Davide 10 2012 Locality and interleaving semantics in calculi for mobile processes. Zbl 0874.68115Sangiorgi, Davide 9 1996 An operational semantics for a calculus for wireless systems. Zbl 1200.68035Lanese, Ivan; Sangiorgi, Davide 8 2010 Logical bisimulations and functional languages. Zbl 1141.68377Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro 8 2007 Separability in the ambient logic. Zbl 1151.03017Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 8 2008 On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide 8 2005 Environmental bisimulations for probabilistic higher-order languages. Zbl 1347.68056Sangiorgi, Davide; Vignudelli, Valeria 8 2016 Advanced topics in bisimulation and coinduction. Zbl 1264.68009 7 2012 Ensuring termination by typability. Zbl 1110.68084Deng, Yuxin; Sangiorgi, Davide 7 2006 Termination of processes. Zbl 1092.68069Sangiorgi, Davide 6 2006 An interpretation of typed objects into typed \(\pi\)-calculus. Zbl 0914.03039Sangiorgi, Davide 6 1998 Equations, contractions, and unique solutions. Zbl 1346.68139Sangiorgi, Davide 6 2015 Some structural properties of systolic tree automata. Zbl 0687.68036Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D. 6 1989 On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele 6 2014 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245Boreale, Michele; Sangiorgi, Davide 6 1995 Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 5 2013 A distributed abstract machine for safe ambients (extended abstract). Zbl 0986.68511Sangiorgi, Davide; Valente, Andrea 5 2001 Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide 5 2014 Minimality results for the spatial logics. Zbl 1205.03046Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 4 2003 Termination in impure concurrent languages. Zbl 1287.68129Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 4 2010 Imperative objects as mobile processes. Zbl 1014.68104Kleist, Josva; Sangiorgi, Davide 4 2002 On the proof method for bisimulation. Zbl 1193.68177Sangiorgi, Davide 4 1995 A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474Kobayashi, Naoki; Sangiorgi, Davide 4 2008 Locality and true-concurrency in calculi for mobile processes. Zbl 0942.68631Sangiorgi, Davide 4 1994 Types, or: Where’s the difference between CCS and \(\pi\)? Zbl 1012.68137Sangiorgi, Davide 4 2002 Safe ambients: Abstract machine and distributed implementation. Zbl 1085.68044Giannini, Paola; Sangiorgi, Davide; Valente, Andrea 4 2006 Simulation of systolic tree automata on trellis automata. Zbl 0726.68057Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide 3 1990 Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D. 3 1990 Towards an algebraic theory of typed mobile processes. Zbl 1086.68090Deng, Yuxin; Sangiorgi, Davide 3 2006 A partition refinement algorithm for the \(\pi\)-calculus. Zbl 1003.68082Pistore, Marco; Sangiorgi, Davide 3 2001 Equations, contractions, and unique solutions. Zbl 1367.68212Sangiorgi, Davide 3 2017 An efficient abstract machine for safe ambients. Zbl 1116.68056Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide 3 2007 Beyond bisimulation: the “up-to” techniques. Zbl 1196.68160Sangiorgi, Davide 3 2006 Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010Pous, Damien; Sangiorgi, Davide 3 2019 Divergence and unique solution of equations. Zbl 1442.68135Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 3 2017 Trees from functions as processes. Zbl 1417.68138Sangiorgi, Davide; Xu, Xian 3 2014 Mobile processes and termination. Zbl 1253.68239Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 2 2009 Termination in higher-order concurrent calculi. Zbl 1274.68067Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 2 2010 Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D. 2 1992 Ensuring termination by typability. Zbl 1088.68661Deng, Yuxin; Sangiorgi, Davide 2 2004 On the expressiveness of the ambient logic. Zbl 1126.68056Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 2 2006 The name discipline of uniform receptiveness. Zbl 1401.68234Sangiorgi, Davide 2 1997 Divergence and unique solution of equations. Zbl 1442.68134Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2 2019 Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide 2 2012 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.68021 2 2014 On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria 2 2014 On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria 1 2015 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 Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 1 2020 Trees from functions as processes. Zbl 06932685Sangiorgi, Davide; Xu, Xian 1 2018 Internal mobility and agent-passing calculi. Zbl 1412.68156Sangiorgi, Davide 1 1995 Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003Baeten, Jos C. M.; Sangiorgi, Davide 1 2014 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 3 2019 Divergence and unique solution of equations. Zbl 1442.68134Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2 2019 Trees from functions as processes. Zbl 06932685Sangiorgi, Davide; Xu, Xian 1 2018 Session types revisited. Zbl 1376.68099Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide 15 2017 Equations, contractions, and unique solutions. Zbl 1367.68212Sangiorgi, Davide 3 2017 Divergence and unique solution of equations. Zbl 1442.68135Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 3 2017 Environmental bisimulations for probabilistic higher-order languages. Zbl 1347.68056Sangiorgi, Davide; Vignudelli, Valeria 8 2016 Light logics and higher-order processes. Zbl 1362.68209Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide 2 2016 Equations, contractions, and unique solutions. Zbl 1346.68139Sangiorgi, Davide 6 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 6 2014 Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide 5 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.68021 2 2014 On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria 2 2014 Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003Baeten, Jos C. M.; Sangiorgi, Davide 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 55 2012 Enhancements of the bisimulation proof method. Zbl 1285.68111Pous, Damien; Sangiorgi, Davide 22 2012 Origins of bisimulation and coinduction. Zbl 1285.68112Sangiorgi, Davide 10 2012 Advanced topics in bisimulation and coinduction. Zbl 1264.68009 7 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 17 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 11 2010 An operational semantics for a calculus for wireless systems. Zbl 1200.68035Lanese, Ivan; Sangiorgi, Davide 8 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 8 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 8 2007 An efficient abstract machine for safe ambients. Zbl 1116.68056Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide 3 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 Towards an algebraic theory of typed mobile processes. Zbl 1086.68090Deng, Yuxin; Sangiorgi, Davide 3 2006 Beyond bisimulation: the “up-to” techniques. Zbl 1196.68160Sangiorgi, 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 17 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 4 2002 Types, or: Where’s the difference between CCS and \(\pi\)? Zbl 1012.68137Sangiorgi, Davide 4 2002 The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116Sangiorgi, Davide; Walker, David 221 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 17 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 24 2000 The name discipline of uniform receptiveness. Zbl 0930.68035Sangiorgi, Davide 19 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 48 1998 On the bisimulation proof method. Zbl 0916.68057Sangiorgi, Davide 42 1998 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103Boreale, Michele; Sangiorgi, Davide 32 1998 On asynchrony in name-passing calculi. Zbl 0910.03019Merro, Massimo; Sangiorgi, Davide 21 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 6 1998 The name discipline of uniform receptiveness. Zbl 1401.68234Sangiorgi, Davide 2 1997 Typing and subtyping for mobile processes. Zbl 0861.68030Pierce, Benjamin; Sangiorgi, Davide 71 1996 A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072Sangiorgi, Davide 64 1996 \(\pi\)-Calculus, internal mobility, and agent-passing calculi. Zbl 0874.68103Sangiorgi, Davide 58 1996 Bisimulation for higher-order process calculi. Zbl 0876.68042Sangiorgi, Davide 43 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 24 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 4 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 18 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 Simulation of systolic tree automata on trellis automata. Zbl 0726.68057Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide 3 1990 Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D. 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 647 Authors 36 Sangiorgi, Davide 22 Yoshida, Nobuko 19 Hennessy, Matthew C. B. 17 Bonchi, Filippo 17 Montanari, Ugo G. 16 Fu, Yuxi 12 Hirschkoff, Daniel 11 Boreale, Michele 11 Dezani-Ciancaglini, Mariangiola 11 Gadducci, Fabio 11 Nestmann, Uwe 11 Pérez, Jorge A. 10 Dal Lago, Ugo 10 Deng, Yuxin 10 Merro, Massimo 9 Bruni, Roberto 9 Caires, Luís 9 Phillips, Iain W. 9 Pous, Damien 8 De Nicola, Rocco 8 Hüttel, Hans 8 Ingólfsdóttir, Anna 8 Lanese, Ivan 8 Pugliese, Rosario 8 Rathke, Julian 8 Sabel, David 8 Schmidt-Schauß, Manfred 7 Aceto, Luca 7 Gordon, Andrew D. 7 Gorla, Daniele 7 Gorrieri, Roberto 7 Honda, Kohei 7 Lenglet, Sergueï 7 Peters, Kirstin 7 Priami, Corrado 7 Tiu, Alwen Fernanto 7 Xu, Xian 6 Amadio, Roberto M. 6 Baldan, Paolo 6 Barbanera, Franco 6 Bugliesi, Michele 6 Ferrari, Gian Luigi 6 Horne, Ross 6 König, Barbara 6 Maffeis, Sergio 6 Mezzina, Claudio Antares 6 Miculan, Marino 6 Rot, Jurriaan 6 Vasconcelos, Vasco Thudichum 5 Brodo, Linda 5 Ciancia, Vincenzo 5 Francalanza, Adrian 5 Gay, Simon J. 5 Kobayashi, Naoki 5 Laneve, Cosimo 5 Madiot, Jean-Marie 5 Medić, Doriana 5 Montesi, Fabrizio 5 Padovani, Luca 5 Palamidessi, Catuscia 5 Pantović, Jovanka 5 Quaglia, Paola 5 Schmitt, Alan 5 Sobociński, Paweł 5 Tiezzi, Francesco 5 Vieira, Hugo Torres 5 Vigliotti, Maria Grazia 4 Berger, Martin J. 4 Bodei, Chiara 4 Busi, Nadia 4 Cardelli, Luca 4 Castagna, Giuseppe 4 Degano, Pierpaolo 4 de’Liguoro, Ugo 4 Fiore, Marcelo P. 4 Focardi, Riccardo 4 Gardner, Philippa Anne 4 Ghilezan, Silvia 4 Godskesen, Jens Chr. 4 Jeffrey, Alan S. A. 4 Koutavas, Vasileios 4 Legay, Axel 4 Luttik, Bas 4 Miller, Dale Allen 4 Monreale, Giacoma Valentina 4 Nielson, Flemming 4 Pfenning, Frank 4 Ravara, António 4 Reniers, Michel Adriaan 4 Riis Nielson, Hanne 4 Sassone, Vladimiro 4 Silva, Alexandra 4 Stark, Ian 4 Staton, Sam 4 Stefani, Jean-Bernard 4 van Glabbeek, Robert Jan 4 Varacca, Daniele 3 Acciai, Lucia 3 Åman Pohjola, Johannes 3 Barbuti, Roberto ...and 547 more Authors all top 5 Cited in 37 Serials 133 Theoretical Computer Science 78 Information and Computation 29 Journal of Logical and Algebraic Methods in Programming 27 Acta Informatica 27 MSCS. Mathematical Structures in Computer Science 25 The Journal of Logic and Algebraic Programming 24 Logical Methods in Computer Science 19 Formal Aspects of Computing 8 Journal of Automated Reasoning 7 Science of Computer Programming 6 Information Processing Letters 5 Distributed Computing 5 Computer Languages, Systems & Structures 4 Formal Methods in System Design 4 Journal of Functional Programming 4 ACM Transactions on Computational Logic 3 Higher-Order and Symbolic Computation 2 Journal of Computer and System Sciences 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 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 616 Computer science (68-XX) 117 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 10 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) 3 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 1 Number theory (11-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year