| Publication | Date of Publication | Type |
|---|
| On asynchronous multiparty session types for federated learning | 2026-03-20 | Paper |
| Completeness of asynchronous session tree subtyping in Coq | 2026-02-10 | 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 |
Event structures for the reversible early internal \(\pi\)-calculus
Reversible Computation | 2021-07-05 | Paper |
| Towards a formal account for software transactional memory | 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 | 2021-02-24 | Paper |
Multiparty symmetric sum types
(available as arXiv preprint) | 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 |
On the relative expressiveness of higher-order session processes
Information and Computation | 2019-09-17 | Paper |
| Characteristic formulae for session types | 2019-09-17 | Paper |
Characteristic formulae for session types
(available as arXiv preprint) | 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 |
| 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 |
| Meeting deadlines together | 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 |
Characteristic bisimulation for higher-order session processes
Acta Informatica | 2017-06-14 | Paper |
Multiparty session types as coherence proofs
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 |
Probabilistic \(\pi\)-calculus and event structures
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Theoretical aspects of communication-centred programming
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 \(\pi \)-calculus
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Global escape in multiparty sessions | 2012-08-29 | Paper |
Event structure semantics of parallel extrusion in the pi-calculus
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Multiparty session types meet communicating automata
Programming Languages and Systems | 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 |
Session-Based Communication Optimisation for Higher-Order Mobile Processes
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Objects and session types
Information and Computation | 2009-06-08 | Paper |
Logical Reasoning for Higher-Order Functions with Local State
Logical Methods in Computer Science | 2009-04-29 | Paper |
Global Principal Typing in Partially Commutative Asynchronous Sessions
Programming Languages and Systems | 2009-03-31 | Paper |
Two Session Typing Systems for Higher-Order Mobile Processes
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Global Progress in Dynamically Interleaved Multiparty Sessions
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Structured Interactional Exceptions in Session Types
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Compositional Event Structure Semantics for the Internal π-Calculus
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Bounded Session Types for Object Oriented Languages
Formal Methods for Components and Objects | 2008-09-17 | Paper |
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
Automata, Languages and Programming | 2008-08-19 | Paper |
Timed, Distributed, Probabilistic, Typed Processes
Programming Languages and Systems | 2008-05-15 | Paper |
Formalising Java RMI with explicit code mobility
Theoretical Computer Science | 2007-12-14 | Paper |
Asynchronous Session Types and Progress for Object Oriented Languages
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A logical analysis of aliasing in imperative higher-order functions
Journal of Functional Programming | 2007-09-26 | Paper |
Descriptive and Relative Completeness of Logics for Higher-Order Functions
Automata, Languages and Programming | 2007-09-11 | Paper |
Logical Reasoning for Higher-Order Functions with Local State
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Structured Communication-Centred Programming for Web Services
Programming Languages and Systems | 2007-09-04 | Paper |
Linearity and bisimulation
The Journal of Logic and Algebraic Programming | 2007-08-10 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
safeDpi: a language for controlling mobile code
Acta Informatica | 2006-01-10 | Paper |
Genericity and the \(\pi\)-calculus
Acta Informatica | 2005-12-14 | Paper |
Noninterference through flow analysis
Journal of Functional Programming | 2005-05-03 | Paper |
| scientific article; zbMATH DE number 2087446 (Why is no real title available?) | 2004-08-11 | Paper |
Strong normalisation in the \(\pi\)-calculus
Information and Computation | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1956508 (Why is no real title available?) | 2003-07-30 | Paper |
Assigning types to processes
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1722647 (Why is no real title available?) | 2002-03-21 | Paper |
Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1538026 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1479644 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1404220 (Why is no real title available?) | 2000-02-20 | Paper |
Game-theoretic analysis of call-by-value computation
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1361143 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1354140 (Why is no real title available?) | 1999-10-31 | Paper |
On reduction-based process semantics
Theoretical Computer Science | 1997-02-27 | Paper |
