( en | de | ru )

 

Disambiguation of "Graversen, Eva"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning About Choreographic Programs.

, , , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 144-162. Springer, (2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

Rafael Isaac Millstein Evan

Franziska-Sophie Evans-von Krbek

Helga Evans

Sotirios Evangelou

Ioannis Evangelou

 

Other publications of authors with the same name

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