Author of the publication

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

, , , , and . CONCUR, volume 59 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)

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

Process-aware web programming with Jolie.. CoRR, (2014)Encoding asynchrony in choreographies., and . SAC, page 1175-1177. ACM, (2017)Self-Reconfiguring Microservices., , , , and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 194-210. Springer, (2016)Better Late Than Never: A Fully Abstract Semantics for Classical Processes., , and . CoRR, (2018)Process-aware web programming with Jolie.. Sci. Comput. Program., (2016)Compositional Choreographies., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 425-439. Springer, (2013)Procedural Choreographic Programming., and . FORTE, volume 10321 of Lecture Notes in Computer Science, page 92-107. Springer, (2017)Packaging Microservices - (Work in Progress)., and . DAIS, volume 10320 of Lecture Notes in Computer Science, page 131-137. Springer, (2017)Ephemeral Data Handling in Microservices., , , and . SCC, page 234-236. IEEE, (2019)Microservice security: a systematic literature review., , , , , and . PeerJ Comput. Sci., (2022)