| Publication | Date of Publication | Type |
|---|
| Synchronisability in mailbox communication | 2025-08-19 | Paper |
| Probabilistic operational correspondence | 2025-06-26 | Paper |
| Separation and encodability in mixed choice multiparty sessions | 2025-06-18 | Paper |
Encodability criteria for quantum based systems
Logical Methods in Computer Science | 2024-06-27 | Paper |
Mixed choice in session types
Information and Computation | 2024-05-24 | Paper |
On the expressiveness of mixed choice sessions
(available as arXiv preprint) | 2024-02-06 | Paper |
| On the expressiveness of mixed choice sessions | 2024-02-06 | Paper |
FTMPST: fault-tolerant multiparty session types
Logical Methods in Computer Science | 2024-01-16 | Paper |
Fault-tolerant multiparty session types
Lecture Notes in Computer Science | 2022-08-19 | Paper |
Encodability criteria for quantum based systems
(available as arXiv preprint) | 2022-08-19 | Paper |
Session types for link failures
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
Session types for link failures
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
On distributability
Theoretical Computer Science | 2022-04-07 | Paper |
| scientific article; zbMATH DE number 7449992 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7449992 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| On the distributability of mobile ambients | 2021-12-17 | Paper |
| Analysing and comparing encodability criteria | 2021-12-03 | Paper |
Analysing and comparing encodability criteria
(available as arXiv preprint) | 2021-12-03 | Paper |
| Encoding CSP into CCS | 2021-12-03 | Paper |
Encoding CSP into CCS
(available as arXiv preprint) | 2021-12-03 | Paper |
| Matching in the pi-calculus | 2021-06-23 | Paper |
Matching in the pi-calculus
(available as arXiv preprint) | 2021-06-23 | Paper |
| Adding priority to event structures | 2021-06-09 | Paper |
Adding priority to event structures
(available as arXiv preprint) | 2021-06-09 | Paper |
| Synchrony vs causality in the asynchronous \(\pi\)-calculus | 2021-03-10 | Paper |
Synchrony vs causality in the asynchronous \(\pi\)-calculus
(available as arXiv preprint) | 2021-03-10 | Paper |
| Synchrony vs. causality in asynchronous Petri nets | 2021-03-10 | Paper |
Synchrony vs. causality in asynchronous Petri nets
(available as arXiv preprint) | 2021-03-10 | Paper |
| Breaking symmetries | 2021-02-24 | Paper |
Breaking symmetries
(available as arXiv preprint) | 2021-02-24 | Paper |
Distributability of mobile ambients
Information and Computation | 2020-12-15 | Paper |
Coupled similarity: the first 32 years
Acta Informatica | 2020-05-26 | Paper |
Taming concurrency for verification using multiparty session types
(available as arXiv preprint) | 2019-12-12 | Paper |
Dynamic causality in event structures
Logical Methods in Computer Science | 2018-04-25 | Paper |
Synchrony versus causality in distributed systems
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Breaking symmetries
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Mechanical Verification of a Constructive Proof for FLP
Interactive Theorem Proving | 2016-10-27 | Paper |
Dynamic causality in event structures
Lecture Notes in Computer Science | 2016-10-19 | Paper |
On distributability in process calculi
Programming Languages and Systems | 2013-08-05 | Paper |
Is it a ``good'' encoding of mixed choice?
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
