Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, in: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, NEW YORK, IEEE, 2013, pp. 378 - 387 (atti di: 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, New Orleans, USA, Giugno 25-28, 2013) [Contribution to conference proceedings]
M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contribution to conference proceedings]
Davide Sangiorgi;Jan Rutten, Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 340 . [Editorship]
Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi, An Object Group-Based Component Model, in: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, Berlino, Springer, 2012, 7609, pp. 64 - 78 (atti di: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contribution to conference proceedings]
Davide Sangiorgi, Concurrency theory: timed automata, testing, program synthesis, «DISTRIBUTED COMPUTING», 2012, 25, pp. 3 - 4 [Abstract]
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]
