( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning About Choreographic Programs.

, , , и . COORDINATION, том 13908 из Lecture Notes in Computer Science, стр. 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.

Sotirios Evangelou

Rafael Isaac Millstein Evan

Franziska-Sophie Evans-von Krbek

Helga Evans

Eric Eva

 

Другие публикации лиц с тем же именем

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