( en | de | ru )

 

Disambiguierung von "Sangiorgi, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From enhanced coinduction towards enhanced induction.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Davide Sangiorgi

Davide Pennino

Davide Cadamuro

Davide Batic

Davide Pagani

 

Weitere Publikationen von Autoren mit dem selben Namen

Eager Functions as Processes., , und . CoRR, (2021)Modeling Imperative Constructs in the Pi-Calculus., , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 136-138. CEUR-WS.org, (2019)Games, Mobile Processes, and Functions., und . CSL, Volume 216 von LIPIcs, Seite 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)Bisimulation and Coinduction Enhancements: A Historical Perspective., und . Formal Aspects Comput., 31 (6): 733-749 (2019)Asynchronous -calculus at Work: The Call-by-Need Strategy.. The Art of Modelling Computational Systems, Volume 11760 von Lecture Notes in Computer Science, Seite 33-49. Springer, (2019)Playing with Bisimulation in Erlang., , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 71-91. Springer, (2019)Strong Normalisation in λ-Calculi with References., , und . FSEN, Volume 7141 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2011)Unique solutions of contractions, CCS, and their HOL formalisation., und . Inf. Comput., (2020)The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service., , , , und . Gabbrielli's Festschrift, Volume 86 von OASIcs, Seite 5:1-5:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)