Durier, A; Hirschkoff, D; Sangiorgi, D, DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS, «LOGICAL METHODS IN COMPUTER SCIENCE», 2019, 15, pp. 12:1 - 12:34 [Scientific article]Open Access
Sangiorgi D.; Vignudelli V., Environmental bisimulations for probabilistic higher-order languages, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, Article number: 22 , pp. 1 - 64 [Scientific article]Open Access
Lanese I.; Sangiorgi D.; Zavattaro G., Playing with bisimulation in erlang, in: Models, Languages, and Tools for Concurrent and Distributed Programming., Cham, Springer Verlag, 2019, pp. 71 - 91 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Chapter or essay]Open Access
Sangiorgi, Davide*, Bisimilarity via unique-solution techniques, in: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2018, 2243, pp. 7 - 11 (atti di: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, Urbino, 2018) [Contribution to conference proceedings]Open Access
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Eager functions as processes, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), N.Y., Association for Computing Machinery, 2018, pp. 364 - 373 (atti di: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, 2018) [Contribution to conference proceedings]Open Access
Sangiorgi, Davide; Xu, Xian, Trees from functions as processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2018, 14, Article number: 11 , pp. 1 - 41 [Scientific article]Open Access
Tian, Chun; Sangiorgi, Davide, Unique solutions of contractions, CCS, and their HOL formalisation, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2018, 276, pp. 122 - 139 (atti di: Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, chn, 2018) [Contribution to conference proceedings]Open Access
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Divergence and unique solution of equations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017, 85, pp. 1 - 16 (atti di: 28th International Conference on Concurrency Theory, CONCUR 2017, Berlino, 2017) [Contribution to conference proceedings]Open Access
Sangiorgi, Davide, Equations, contractions, and unique solutions, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2017, 18, Article number: 4 , pp. 1 - 30 [Scientific article]
Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide, Session types revisited, «INFORMATION AND COMPUTATION», 2017, 256, pp. 253 - 286 [Scientific article]Open Access
Sangiorgi, Davide; Vignudelli, Valeria, Environmental bisimulations for probabilistic higher-order languages, in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2016, 51, pp. 595 - 607 (atti di: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg (USA), 20-22 Gennaio 2016) [Contribution to conference proceedings]Open Access
Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [Scientific article]
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Name-passing calculi: From fusions to preorders and types, «INFORMATION AND COMPUTATION», 2016, 251, pp. 335 - 360 [Scientific article]
Sangiorgi, Davide, Equations, contractions, and unique solutions, in: S. K. Rajamani, D. Walker, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, «ACM SIGPLAN NOTICES», 2015, 50, pp. 421 - 432 (atti di: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15-17 Gennaio 2015) [Contribution to conference proceedings]
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria, On Applicative Similarity, Sequentiality, and Full Abstraction, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Meyer, Roland; Platzer, André; Wehrheim, Heike, 2015, pp. 65 - 82 [Chapter or essay]