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

Fault-Tolerant Multiparty Session Types., , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 93-113. Springer, (2022)Encodability Criteria for Quantum Based Systems., , and . Log. Methods Comput. Sci., (2024)Taming Concurrency for Verification Using Multiparty Session Types., , and . ICTAC, volume 11884 of Lecture Notes in Computer Science, page 196-215. Springer, (2019)Is It a "Good" Encoding of Mixed Choice?, and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 210-224. Springer, (2012)Session Types for Link Failures (Technical Report)., , and . CoRR, (2016)Session Types for Link Failures., , and . FORTE, volume 10321 of Lecture Notes in Computer Science, page 1-16. Springer, (2017)Separation and Encodability in Mixed Choice Multiparty Sessions., and . LICS, page 62:1-62:15. ACM, (2024)Analysing and Comparing Encodability Criteria., and . EXPRESS/SOS, volume 190 of EPTCS, page 46-60. (2015)Matching in the Pi-Calculus., , and . EXPRESS/SOS, volume 160 of EPTCS, page 16-29. (2014)Breaking Symmetries, and . EXPRESS, volume 41 of EPTCS, page 136-150. (2010)