( en | de | ru )

 

Disambiguierung von "Varacca, Daniele"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Continuations, Processes, and Sharing.

, , , und . PPDP, Seite 69-80. ACM, (2014)

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.

Daniele Soroldoni

Daniele Silvestro

Daniele Palmisano

Daniele Gaggero

Daniele Capriotti

 

Weitere Publikationen von Autoren mit dem selben Namen

Fairness and promptness in Muller formulas., , und . CoRR, (2022)Continuous Random Variables., und . LICS, Seite 97-106. IEEE Computer Society, (2011)The Calculus of Handshake Configurations., und . FoSSaCS, Volume 5504 von Lecture Notes in Computer Science, Seite 227-241. Springer, (2009)Event Structure Semantics of Parallel Extrusion in the Pi-Calculus., , und . FoSSaCS, Volume 7213 von Lecture Notes in Computer Science, Seite 225-239. Springer, (2012)Processes against tests: On defining contextual equivalences., und . J. Log. Algebraic Methods Program., (2022)Compositional Event Structure Semantics for the Internal pi -Calculus., , und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2007)Preface., , und . Theor. Comput. Sci., (2014)On the Reactive Nature of Financial Networks., und . ICTCS, Volume 2243 von CEUR Workshop Proceedings, Seite 230-241. CEUR-WS.org, (2018)Process, Systems and Tests: Three Layers in Concurrent Computation., und . ICE, Volume 347 von EPTCS, Seite 1-21. (2021)The Powerdomain of Indexed Valuations.. LICS, Seite 299-. IEEE Computer Society, (2002)