D
Davide Sangiorgi
Researcher at University of Bologna
Publications - 174
Citations - 11009
Davide Sangiorgi is an academic researcher from University of Bologna. The author has contributed to research in topics: Process calculus & Bisimulation. The author has an hindex of 48, co-authored 166 publications receiving 10700 citations. Previous affiliations of Davide Sangiorgi include French Institute for Research in Computer Science and Automation & University of Edinburgh.
Papers
More filters
Book
The Pi-Calculus: A Theory of Mobile Processes
Davide Sangiorgi,David Walker +1 more
TL;DR: This book presents the pi-calculus, a theory of mobile systems, which provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviors.
Dissertation
Expressing mobility in process algebras: first-order and higher-order paradigms
TL;DR: This thesis proposes barbed bisimulation, and exploits a special kind of agents called triggers, with which it is possible to reason fairly efficiently in a higher-order calculus notwithstanding the complexity of its transitions, and derives an w-order extension called Higher-Order ur-calculus (HOir).
Proceedings ArticleDOI
Typing and subtyping for mobile processes
TL;DR: The authors define the syntax, typing, subtyping, and operational semantics of their calculus, prove that the typing rules are sound, apply the system to Milner's lambda -calculus encodings, and sketch extensions to higher-order process calculi and polymorphic typing.