( en | de | ru )

 

Disambiguierung von "Graversen, Eva"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning About Choreographic Programs.

, , , und . COORDINATION, Volume 13908 von Lecture Notes in Computer Science, Seite 144-162. Springer, (2023)

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.

Ioannis Evangelou

Jean-Luc Evard

Sotirios Evangelou

Rafael Isaac Millstein Evan

Franziska-Sophie Evans-von Krbek

 

Weitere Publikationen von Autoren mit dem selben Namen

Event Structure Semantics of (controlled) Reversible CCS., , und . RC, Volume 11106 von Lecture Notes in Computer Science, Seite 102-122. Springer, (2018)Functional Choreographic Programming., , , , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 212-237. Springer, (2022)Modular Compilation for Higher-Order Functional Choreographies., , , , und . ECOOP, Volume 263 von LIPIcs, Seite 7:1-7:37. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Reasoning About Choreographic Programs., , , und . COORDINATION, Volume 13908 von Lecture Notes in Computer Science, Seite 144-162. Springer, (2023)Event structure semantics of (controlled) reversible CCS., , und . J. Log. Algebraic Methods Program., (2021)Event Structures for the Reversible Early Internal π-Calculus., , und . RC, Volume 12227 von Lecture Notes in Computer Science, Seite 71-90. Springer, (2020)Towards a Categorical Representation of Reversible Event Structures., , und . PLACES@ETAPS, Volume 246 von EPTCS, Seite 49-60. (2017)Event structures for the reversible early internal Pi-calculus., , und . CoRR, (2020)Towards a categorical representation of reversible event structures., , und . J. Log. Algebraic Methods Program., (2019)Alice or Bob?: Process polymorphism in choreographies., , und . J. Funct. Program., (2024)