| Publication | Date of Publication | Type |
|---|
Formalising asynchronous session subtyping
ACM Transactions on Computational Logic | 2026-09-08 | Paper |
| Formalising subject reduction and progress for multiparty session processes | 2026-09-01 | Paper |
Less is more revisited: association with global protocols and multiparty sessions
Theoretical Computer Science | 2026-06-15 | Paper |
| On asynchronous multiparty session types for federated learning | 2026-03-20 | Paper |
| Completeness of asynchronous session tree subtyping in Coq | 2026-02-10 | Paper |
| RevMiGo: reversible channel-based communication in Go language | 2025-11-14 | Paper |
| Encoding choice and replication in \(\mathbf{roll}\text{-}\pi \) | 2025-11-14 | Paper |
CONCUR test-of-time award for the period 1994--97 interview with Uwe Nestmann and Benjamin C. Pierce
Journal of Logical and Algebraic Methods in Programming | 2025-07-10 | Paper |
| Separation and encodability in mixed choice multiparty sessions | 2025-06-18 | Paper |
Crash-stop failures in asynchronous multiparty session types
Logical Methods in Computer Science | 2025-05-06 | Paper |
Checkpoint-based rollback recovery in session programming
Logical Methods in Computer Science | 2025-01-31 | Paper |
| Generalised multiparty session types with crash-stop failures | 2024-08-13 | Paper |
| Graph types for monadic mobile processes | 2024-07-05 | Paper |
Mixed choice in session types
Information and Computation | 2024-05-24 | Paper |
| Polymorphic Session Processes as Morphisms | 2024-03-14 | Paper |
Featherweight Scribble
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Verifying asynchronous interactions via communicating session automata
Computer Aided Verification | 2024-02-16 | 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 |
Asynchronous timed session types. From duality to time-sensitive processes
Programming Languages and Systems | 2023-11-24 | Paper |
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
Precise Subtyping for Asynchronous Multiparty Sessions
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
| A Sound Algorithm for Asynchronous Session Subtyping | 2023-02-03 | Paper |
Causal computational complexity of distributed processes
Information and Computation | 2023-01-12 | Paper |
Exploring type-level bisimilarity towards more expressive multiparty session types
Programming Languages and Systems | 2022-10-13 | Paper |
| Communicating finite state machines and an extensible toolchain for multiparty session types | 2022-05-20 | Paper |
| scientific article; zbMATH DE number 7447776 (Why is no real title available?) | 2021-12-17 | Paper |
Event structures for the reversible early internal \(\pi\)-calculus
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Event structure semantics of (controlled) reversible CCS
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Towards a formal account for software transactional memory | 2021-07-05 | Paper |
Event structures for the reversible early internal \(\pi\)-calculus
Reversible Computation | 2021-07-05 | Paper |
| Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday | 2021-05-20 | 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 |
Multiparty symmetric sum types
(available as arXiv preprint) | 2021-02-24 | Paper |
| Multiparty symmetric sum types | 2021-02-24 | Paper |
Causal computational complexity of distributed processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
A parametric framework for reversible \(\pi\)-calculi
Information and Computation | 2020-12-15 | Paper |
A parametric framework for reversible \(\pi\)-calculi
Information and Computation | 2020-12-15 | Paper |
| Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment) | 2020-01-28 | Paper |
Characteristic formulae for session types
(available as arXiv preprint) | 2019-09-17 | Paper |
| Characteristic formulae for session types | 2019-09-17 | Paper |
On the relative expressiveness of higher-order session processes
Information and Computation | 2019-09-17 | Paper |
On polymorphic sessions and functions. A tale of two (fully abstract) encodings
(available as arXiv preprint) | 2019-09-13 | Paper |
Towards a categorical representation of reversible event structures
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Precise subtyping for synchronous multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Event structure semantics of (controlled) reversible CCS
Reversible Computation | 2018-10-17 | Paper |
Multiparty Asynchronous Session Types
Journal of the ACM | 2018-08-02 | Paper |
Depending on session-typed processes
(available as arXiv preprint) | 2018-07-17 | Paper |
Game theoretic analysis of call-by-value computation
Automata, Languages and Programming | 2018-07-04 | Paper |
Multiparty session types, beyond duality
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Timed runtime monitoring for multiparty conversations
Formal Aspects of Computing | 2017-11-29 | Paper |
Timed runtime monitoring for multiparty conversations
Formal Aspects of Computing | 2017-11-29 | Paper |
Fencing off Go: liveness and safety for channel-based programming
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Fencing off Go: liveness and safety for channel-based programming
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Meeting deadlines together | 2017-09-12 | Paper |
| Characteristic bisimulation for higher-order session processes | 2017-09-12 | Paper |
| scientific article; zbMATH DE number 6774227 (Why is no real title available?) | 2017-09-12 | Paper |
| On the expressiveness of multiparty sessions | 2017-07-13 | Paper |
On the preciseness of subtyping in session types
(available as arXiv preprint) | 2017-07-13 | Paper |
Certifying data in multiparty session types
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Multiparty session types as coherence proofs
Acta Informatica | 2017-06-14 | Paper |
Characteristic bisimulation for higher-order session processes
Acta Informatica | 2017-06-14 | Paper |
On the undecidability of asynchronous session subtyping
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Multiparty session actors
(available as arXiv preprint) | 2017-05-08 | Paper |
Monitoring networks through multiparty session types
Theoretical Computer Science | 2017-03-16 | Paper |
Effects as sessions, sessions as effects
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
A gentle introduction to multiparty asynchronous session types
Lecture Notes in Computer Science | 2016-10-04 | Paper |
From communicating machines to graphical choreographies
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Certifying data in multiparty session types
A List of Successes That Can Change the World | 2016-08-17 | Paper |
Reversing single sessions
Reversible Computation | 2016-08-10 | Paper |
Global escape in multiparty sessions
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Global progress for dynamically interleaved multiparty sessions
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
On asynchronous eventful session semantics
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Multiparty session nets
Trustworthy Global Computing | 2016-06-09 | Paper |
On the relative expressiveness of higher-order session processes
Programming Languages and Systems | 2016-04-26 | Paper |
Type-checking liveness for collaborative processes with bounded and unbounded recursion
Logical Methods in Computer Science | 2016-03-03 | Paper |
Channel dependent types for higher-order mobile processes
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Formal Methods in System Design | 2015-10-30 | Paper |
Reversible session-based pi-calculus
Journal of Logical and Algebraic Methods in Programming | 2015-08-21 | Paper |
Type-based security for mobile computing integrity, secrecy and liveness
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
Information and Computation | 2015-05-04 | Paper |
A uniform type structure for secure information flow
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Globally governed session semantics
Logical Methods in Computer Science | 2015-01-15 | Paper |
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
Timed multiparty session types
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 |
Process types as a descriptive tool for interaction. Control and the pi-calculus
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Dynamic multirole session types
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Theoretical aspects of communication-centred programming
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Probabilistic -calculus and event structures
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science | 2013-12-18 | Paper |
A calculus of global interaction based on session types
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Typed event structures and the \(\pi\)-calculus (extended abstract) | 2013-10-10 | Paper |
Compositional choreographies
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Globally Governed Session Semantics
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Globally Governed Session Semantics
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
Automata, Languages, and Programming | 2013-08-07 | Paper |
Parameterised multiparty session types
Logical Methods in Computer Science | 2012-10-22 | Paper |
Intensional and extensional characterisation of global progress in the -calculus
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Global escape in multiparty sessions | 2012-08-29 | Paper |
Multiparty session types meet communicating automata
Programming Languages and Systems | 2012-06-22 | Paper |
Event structure semantics of parallel extrusion in the pi-calculus
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
A theory of design-by-contract for distributed multiparty interactions
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Buffered Communication Analysis in Distributed Multiparty Sessions
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Parameterised Multiparty Session Types
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Typed event structures and the linear \(\pi \)-calculus
Theoretical Computer Science | 2010-04-22 | Paper |
On Observing Dynamic Prioritised Actions in SOC
Automata, Languages and Programming | 2009-07-14 | Paper |
