( en | de | ru )

 

Disambiguation of "Graversen, Eva"

Author of the publication

copydeleteadd this publication to your clipboard
Event Structures for the Reversible Early Internal π-Calculus.

, , and . RC, volume 12227 of Lecture Notes in Computer Science, page 71-90. Springer, (2020)

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 Structures for the Reversible Early Internal π-Calculus., , and . RC, volume 12227 of Lecture Notes in Computer Science, page 71-90. Springer, (2020)Event Structure Semantics of (controlled) Reversible CCS., , and . RC, volume 11106 of Lecture Notes in Computer Science, page 102-122. Springer, (2018)Functional Choreographic Programming., , , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 212-237. Springer, (2022)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)Event structures for the reversible early internal Pi-calculus., , and . CoRR, (2020)Event structure semantics of reversible process calculi. Imperial College London, UK, (2021)British Library, EThOS.Type Inference for Session Types in the π-calculus., , , , , and . WS-FM, volume 9421 of Lecture Notes in Computer Science, page 103-121. Springer, (2015)