( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CONCUR Test-Of-Time Award 2022 (Invited Paper).

, , , , и . CONCUR, том 243 из LIPIcs, стр. 1:1-1:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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 Pennino

Davide Cadamuro

Davide Batic

Davide Pagani

 

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

Eager Functions as Processes., , и . CoRR, (2021)Games, Mobile Processes, and Functions., и . CSL, том 216 из LIPIcs, стр. 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Modeling Imperative Constructs in the Pi-Calculus., , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 136-138. CEUR-WS.org, (2019)From enhanced coinduction towards enhanced induction.. Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Bisimulation and Coinduction Enhancements: A Historical Perspective., и . Formal Aspects Comput., 31 (6): 733-749 (2019)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)Playing with Bisimulation in Erlang., , и . Models, Languages, and Tools for Concurrent and Distributed Programming, том 11665 из Lecture Notes in Computer Science, стр. 71-91. Springer, (2019)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)Unique solutions of contractions, CCS, and their HOL formalisation., и . Inf. Comput., (2020)EXPRESSing Session Types., , , и . EXPRESS/SOS, том 387 из EPTCS, стр. 8-25. (2023)