Author of the publication

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.

 

Other publications of authors with the same name

Coalgebraic semantics of self-referential behaviours.. University of Udine, Italy, (2017)Functional Choreographic Programming., , , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 212-237. Springer, (2022)A Formal Theory of Choreographic Programming., , and . CoRR, (2022)Better Late Than Never: A Fully Abstract Semantics for Classical Processes., , and . CoRR, (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)Deciding Weak Weighted Bisimulation., and . ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 126-137. CEUR-WS.org, (2017)Reasoning About Choreographic Programs., , , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 144-162. Springer, (2023)JoT: A Jolie Framework for Testing Microservices., , , , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 172-191. Springer, (2023)Structural operational semantics for non-deterministic processes with quantitative aspects., and . CoRR, (2014)Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes., and . CoRR, (2021)