The pi-calculus: a Theory of Mobile Processes D Sangiorgi, D Walker Cambridge university press, 2003 | 1811 | 2003 |

Expressing mobility in process algebras: first-order and higher-order paradigms D Sangiorgi The University of Edinburgh, 1993 | 683 | 1993 |

Typing and subtyping for mobile processes B Pierce, D Sangiorgi Mathematical Structures in Computer Science 6 (5), 409-453, 1996 | 592 | 1996 |

Barbed bisimulation R Milner, D Sangiorgi International Colloquium on Automata, Languages, and Programming, 685-695, 1992 | 580 | 1992 |

A theory of bisimulation for the π-calculus D Sangiorgi Acta informatica 33 (1), 69-97, 1996 | 412 | 1996 |

On bisimulations for the asynchronous π-calculus RM Amadio, I Castellani, D Sangiorgi Theoretical Computer Science 195 (2), 291-324, 1998 | 379 | 1998 |

Controlling interference in ambients F Levi, D Sangiorgi Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 311 | 2000 |

An introduction to bisimulation and coinduction D Sangiorgi Cambridge University Press, 2011 | 280* | 2011 |

The problem of “Weak Bisimulation up to” D Sangiorgi, R Milner International conference on concurrency theory, 32-46, 1992 | 209 | 1992 |

On the origins of bisimulation and coinduction D Sangiorgi ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (4), 15, 2009 | 208 | 2009 |

On the bisimulation proof method D Sangiorgi Mathematical Structures in Computer Science 8 (5), 447-479, 1998 | 200 | 1998 |

π-calculus, internal mobility, and agent-passing calculi D Sangiorgi Theoretical Computer Science 167 (1-2), 235-274, 1996 | 193 | 1996 |

SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006 | 190 | 2006 |

Bisimulation for higher-order process calculi D Sangiorgi Information and Computation 131 (2), 141-178, 1996 | 179 | 1996 |

The lazy lambda calculus in a concurrency scenario D Sangiorgi Information and computation 111 (1), 120-153, 1994 | 164 | 1994 |

Behavioral equivalence in the polymorphic pi-calculus BC Pierce, D Sangiorgi Journal of the ACM (JACM) 47 (3), 531-584, 2000 | 153 | 2000 |

From π-calculus to Higher-Order π-calculus—and back D Sangiorgi Colloquium on Trees in Algebra and Programming, 151-166, 1993 | 149 | 1993 |

On asynchrony in name-passing calculi M Merro, D Sangiorgi International Colloquium on Automata, Languages, and Programming, 856-867, 1998 | 131 | 1998 |

Mobile safe ambients F Levi, D Sangiorgi ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (1), 1-69, 2003 | 128 | 2003 |

Algebraic theories for name-passing calculi J Parrow, D Sangiorgi Information and Computation 120 (2), 174-197, 1995 | 118 | 1995 |