( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From enhanced coinduction towards enhanced induction.

. Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Davide Sangiorgi

Davide Cadamuro

Davide Pennino

Davide Batic

Davide Cantoni

 

Другие публикации лиц с тем же именем

Eager Functions as Processes., , и . CoRR, (2021)Modeling Imperative Constructs in the Pi-Calculus., , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 136-138. CEUR-WS.org, (2019)Games, Mobile Processes, and Functions., и . CSL, том 216 из LIPIcs, стр. 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)From enhanced coinduction towards enhanced induction.. Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Asynchronous -calculus at Work: The Call-by-Need Strategy.. The Art of Modelling Computational Systems, том 11760 из Lecture Notes in Computer Science, стр. 33-49. Springer, (2019)Bisimulation and Coinduction Enhancements: A Historical Perspective., и . Formal Aspects Comput., 31 (6): 733-749 (2019)Modular coinduction up-to for higher-order languages via first-order transition systems., , и . Log. Methods Comput. Sci., (2021)Unique solutions of contractions, CCS, and their HOL formalisation., и . Inf. Comput., (2020)EXPRESSing Session Types., , , и . EXPRESS/SOS, том 387 из EPTCS, стр. 8-25. (2023)The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service., , , , и . Gabbrielli's Festschrift, том 86 из OASIcs, стр. 5:1-5:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)