| Publication | Date of Publication | Type |
|---|
A sound and complete projection for global types
Journal of Automated Reasoning | 2025-07-16 | Paper |
| A sound and complete projection for global types | 2024-11-26 | Paper |
Declarative choreographies and liveness
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Multiparty classical choreographies
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
| A Sound Algorithm for Asynchronous Session Subtyping | 2023-02-03 | Paper |
| Security protocols as choreographies | 2022-07-13 | Paper |
scientific article; zbMATH DE number 7327953 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-26 | Paper |
| scientific article; zbMATH DE number 7327953 (Why is no real title available?) | 2021-03-26 | Paper |
| A graphical approach to progress for structured communication in web services | 2021-02-24 | Paper |
A graphical approach to progress for structured communication in web services
(available as arXiv preprint) | 2021-02-24 | Paper |
| Choreographies with secure boxes and compromised principals | 2021-02-09 | Paper |
| scientific article; zbMATH DE number 7020154 (Why is no real title available?) | 2019-02-08 | Paper |
Multiparty Asynchronous Session Types
Journal of the ACM | 2018-08-02 | Paper |
| scientific article; zbMATH DE number 6851955 (Why is no real title available?) | 2018-03-21 | Paper |
On the boundary between decidability and undecidability of asynchronous session subtyping
Theoretical Computer Science | 2018-03-12 | Paper |
Choreographies, logically
Distributed Computing | 2018-02-23 | Paper |
Undecidability of asynchronous session subtyping
Information and Computation | 2017-09-28 | Paper |
| scientific article; zbMATH DE number 6774227 (Why is no real title available?) | 2017-09-12 | Paper |
Multiparty session types as coherence proofs
Acta Informatica | 2017-06-14 | Paper |
Deadlock-freedom-by-design, multiparty asynchronous global programming
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Choreographies, logically
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Multiparty asynchronous session types
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Theoretical aspects of communication-centred programming
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
A calculus of global interaction based on session types
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
On the expressive power of polyadic synchronisation in \(\pi \)-calculus
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Sessions and separability in security protocols
Lecture Notes in Computer Science | 2013-08-06 | Paper |
Structured Interactional Exceptions in Session Types
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Structured Communication-Centred Programming for Web Services
Programming Languages and Systems | 2007-09-04 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2059568 (Why is no real title available?) | 2004-03-17 | Paper |
