Durier, A; Hirschkoff, D; Sangiorgi, D, Eager functions as processes, «THEORETICAL COMPUTER SCIENCE», 2022, 913, pp. 8 - 42 [Scientific article]
Sangiorgi, D, From Enhanced Coinduction towards Enhanced Induction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 29 [Scientific article]Open Access
Jaber G.; Sangiorgi D., Games, Mobile Processes, and Functions, in: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Schloss Dagstuhl, Florin Manea and Alex Simpson, 2022, 216, pp. 1 - 18 (atti di: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Gottingen, February 14-19, 2022) [Contribution to conference proceedings]Open Access
Dardha O.; Giachino E.; Sangiorgi D., Session Types Revisited: A Decade Later, in: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2022, pp. 1 - 4 (atti di: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, September 20 - 22, 2022) [Contribution to conference proceedings]Open Access
Madiot J.-M.; Pous D.; Sangiorgi D., Modular coinduction up-to for higher-order languages via first-order transition systems, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, pp. 1 - 39 [Scientific article]Open Access
Hirschkoff D.; Prebet E.; Sangiorgi D., On sequentiality and well-bracketing in the π-calculus, in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21), N.Y., Institute of Electrical and Electronics Engineers Inc., 2021, 2021-, pp. 1 - 13 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Roma, 2021) [Contribution to conference proceedings]Open Access
Hirschkoff D.; Prebet E.; Sangiorgi D., On the representation of references in the Pi-Calculus, in: 31st International Conference on Concurrency Theory (CONCUR 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020, 171, pp. 1 - 20 (atti di: 31st International Conference on Concurrency Theory, CONCUR 2020, Vienna, 2020) [Contribution to conference proceedings]Open Access
Saverio Giallorenzo,
Ivan Lanese,
Fabrizio Montesi,
Davide Sangiorgi,
Stefano Pio Zingaro, The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik, 2020, 86, pp. 1 - 21 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contribution to conference proceedings]Open Access
Durier A.; Hirschkoff D.; Sangiorgi D., Towards ‘up to context’ reasoning about higher-order processes, «THEORETICAL COMPUTER SCIENCE», 2020, 807, pp. 154 - 168 [Scientific article]Open Access
Tian C.; Sangiorgi D., Unique solutions of contractions, CCS, and their HOL formalisation, «INFORMATION AND COMPUTATION», 2020, 275, Article number: 104606 , pp. 1 - 32 [Scientific article]Open Access
Sangiorgi D., Asynchronous π -calculus at Work: The Call-by-Need Strategy, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., Cham, Switzerland, Springer, 2019, 11760, pp. 33 - 49 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Paris, 4 November 2019) [Contribution to conference proceedings]Open Access
Pous D.; Sangiorgi D., Bisimulation and Coinduction Enhancements: A Historical Perspective, «FORMAL ASPECTS OF COMPUTING», 2019, 31, pp. 733 - 749 [Scientific article]Open Access
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]