Sangiorgi, Davide, An Abstract Account of Up-to Techniques for Inductive Behavioural Relations, in: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola. ISoLA 2024, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2025, 15219, pp. 62 - 74 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, October 27–31, 2024) [Contribution to conference proceedings]
Sangiorgi Davide, Enhanced Induction in Behavioural Relations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023, 252, pp. 1 - 6 (atti di: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, Poland, February 13-16, 2023) [Abstract]
Castellani I.; Dardha O.; Padovani L.; Sangiorgi D., EXPRESSing Session Types, in: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2023, 387, pp. 8 - 25 (atti di: Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023, Antwerp, Belgium, 18 September 2023) [Contribution to conference proceedings]Open Access
Sakayori K.; Sangiorgi D., Extensional and Non-extensional Functions as Processes, in: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), New York, Institute of Electrical and Electronics Engineers Inc., 2023, 2023-, pp. 1 - 13 (atti di: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston University, usa, June 26-29, 2023) [Contribution to conference proceedings]Open Access
Durier, A; Hirschkoff, D; Sangiorgi, D, Eager functions as processes, «THEORETICAL COMPUTER SCIENCE», 2022, 913, pp. 8 - 42 [Scientific article]Open Access
Sangiorgi, D, From Enhanced Coinduction towards Enhanced Induction, in: Proceedings of the ACM on Programming Languages, New York, ACM, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 29 (atti di: POPL 2022 – 49th ACM Symposium on Principles of Programming Languages, Philadelphia, 16-22 gennaio) [Contribution to conference proceedings]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
