Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Duality and i/o-Types in the π-Calculus, in: CONCUR 2012 –Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012: Proceedings, Berlino, Springer, 2012, 7454, pp. 302 - 316 (atti di: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contribution to conference proceedings]
Damien Pous;Davide Sangiorgi, Enhancements of the bisimulation proof method, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 233 - 289 [Chapter or essay]
D. Sangiorgi, Introduction to bisimulation and coinduction, CAMBRIDGE, Cambridge University Press, 2012, pp. 260 . [Research monograph]
Davide Sangiorgi, Origins of bisimulation and coinduction, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 1 - 37 [Chapter or essay]
Ornela Dardha;Elena Giachino;Davide Sangiorgi, Session types revisited, in: Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12, ACM, 2012, pp. 139 - 150 (atti di: Symposium on Principles and practice of declarative programming, Leuven, September 19 - 21, 2012) [Contribution to conference proceedings]
Romain Demangeon;Daniel Hirschkoff;Davide Sangiorgi, Strong Normalisation in λ-Calculi with References, in: Fundamentals of Software Engineering: Revised Selected Papers, Berlino, Springer, 2012, 7141, pp. 128 - 142 (atti di: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011) [Contribution to conference proceedings]
D. Sangiorgi; N. Kobayashi; E. Sumii, Environmental bisimulations for higher-order languages, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2011, 33, pp. 1 - 66 [Scientific article]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the expressiveness and decidability of higher-order process calculi, «INFORMATION AND COMPUTATION», 2011, 209, pp. 198 - 226 [Scientific article]
Marco Patrignani;Dave Clarke;Davide Sangiorgi, Ownership Types for the Join Calculus, in: Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011, Proceedings, Heidelberg, Springer, 2011, 6722, pp. 289 - 303 (atti di: Formal Techniques for Distributed Systems (FMOODS/FORTE)), Reykjavik, June 6-9, 2011) [Contribution to conference proceedings]
Davide Sangiorgi, The pi-calculus, in: Encyclopedia of Parallel Computing, Berlino, Springer, 2011, pp. 1554 - 1562 [Chapter or essay]
M. Bartoletti; L. Caires; I. Lanese; F. Mazzanti; D. Sangiorgi; H. T. Vieira; R. Zunino, Tools and Verification, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 408 - 427 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
N. Kobayashi; D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2010, 32, pp. 1 - 49 [Scientific article]
F.Montesi; D. Sangiorgi, A Model of Evolvable Components, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6084, pp. 153 - 171 (atti di: 5th International Symposium on Trustworthly Global Computing - TGC 2010, Munich, Germany, February 24-26, 2010) [Contribution to conference proceedings]
I. Lanese; D. Sangiorgi, An operational semantics for a calculus for wireless systems, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1928 - 1948 [Scientific article]
M. Cimini; C. Sacerdoti Coen; D. Sangiorgi, Functions as Processes: Termination and the lambda mu mu~ - Calculus, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6084, pp. 73 - 86 (atti di: 5th International Symposium on Trustworthly Global Computing - TGC 2010, Munich, Germany, February 24-26, 2010) [Contribution to conference proceedings]
