| Publication | Date of Publication | Type |
|---|
Connection of nonlinear model predictive controllers for smooth task switching in autonomous driving
Asian Journal of Control | 2024-07-30 | Paper |
| Multiparty symmetric sum types | 2021-02-24 | Paper |
Multiparty symmetric sum types
(available as arXiv preprint) | 2021-02-24 | Paper |
Multiparty Asynchronous Session Types
Journal of the ACM | 2018-08-02 | Paper |
Game theoretic analysis of call-by-value computation
Automata, Languages and Programming | 2018-07-04 | Paper |
Monitoring networks through multiparty session types
Theoretical Computer Science | 2017-03-16 | Paper |
On asynchronous eventful session semantics
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Formal Methods in System Design | 2015-10-30 | 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 |
From process logic to program logic
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | 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 |
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 |
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 |
| Processes and games | 2013-10-02 | Paper |
The two-phase commitment protocol in an extended \(\pi\)-calculus
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Specifying stateful asynchronous properties for distributed programs
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Nested protocols in session types
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Intensional and extensional characterisation of global progress in the \(\pi \)-calculus
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Full abstraction in a subtyped pi-calculus with linear types
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
A theory of design-by-contract for distributed multiparty interactions
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science | 2010-05-27 | 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 |
Structured Interactional Exceptions in Session Types
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
Automata, Languages and Programming | 2008-08-19 | 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 |
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 |
| scientific article; zbMATH DE number 1722647 (Why is no real title available?) | 2002-03-21 | Paper |
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science | 2001-01-16 | 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 |
| scientific article; zbMATH DE number 1398002 (Why is no real title available?) | 2000-02-03 | Paper |
Game-theoretic analysis of call-by-value computation
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1354140 (Why is no real title available?) | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1231519 (Why is no real title available?) | 1998-12-13 | Paper |
On reduction-based process semantics
Theoretical Computer Science | 1997-02-27 | Paper |
