| The pi-calculus: a Theory of Mobile Processes D Sangiorgi, D Walker Cambridge university press, 2003 | 2123 | 2003 |
| Expressing mobility in process algebras: first-order and higher-order paradigms D Sangiorgi The University of Edinburgh, 1993 | 769 | 1993 |
| Typing and subtyping for mobile processes B Pierce, D Sangiorgi Mathematical Structures in Computer Science 6 (5), 409-453, 1996 | 638 | 1996 |
| Barbed bisimulation R Milner, D Sangiorgi Automata, Languages and Programming: 19th International Colloquium Wien …, 1992 | 635 | 1992 |
| A theory of bisimulation for the π-calculus D Sangiorgi Acta informatica 33, 69-97, 1996 | 447 | 1996 |
| An introduction to bisimulation and coinduction D Sangiorgi Cambridge University Press, 2011 | 423 | 2011 |
| On bisimulations for the asynchronous π-calculus RM Amadio, I Castellani, D Sangiorgi Theoretical Computer Science 195 (2), 291-324, 1998 | 400 | 1998 |
| Controlling interference in ambients F Levi, D Sangiorgi Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 327 | 2000 |
| On the origins of bisimulation and coinduction D Sangiorgi ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (4), 1-41, 2009 | 287 | 2009 |
| On the bisimulation proof method D Sangiorgi Mathematical Structures in Computer Science 8 (5), 447-479, 1998 | 247 | 1998 |
| The problem of “Weak Bisimulation up to” D Sangiorgi, R Milner CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 241* | 1992 |
| π-calculus, internal mobility, and agent-passing calculi D Sangiorgi Theoretical computer science 167 (1-2), 235-274, 1996 | 238 | 1996 |
| Bisimulation for higher-order process calculi D Sangiorgi Information and Computation 131 (2), 141-178, 1996 | 218 | 1996 |
| SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 208 | 2006 |
| The lazy lambda calculus in a concurrency scenario D Sangiorgi Information and computation 111 (1), 120-153, 1994 | 186 | 1994 |
| Session types revisited O Dardha, E Giachino, D Sangiorgi Proceedings of the 14th symposium on Principles and practice of declarative …, 2012 | 175 | 2012 |
| From π-calculus to Higher-Order π-calculus—and back D Sangiorgi TAPSOFT'93: Theory and Practice of Software Development: 4th International …, 2005 | 171 | 2005 |
| Behavioral equivalence in the polymorphic pi-calculus BC Pierce, D Sangiorgi Journal of the ACM (JACM) 47 (3), 531-584, 2000 | 166 | 2000 |
| A fully abstract model for the π-calculus MP Fiore, E Moggi, D Sangiorgi Information and Computation 179 (1), 76-117, 2002 | 164 | 2002 |
| On asynchrony in name-passing calculi M Merro, D Sangiorgi Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998 | 138 | 1998 |
