| Publication | Date of Publication | Type |
|---|
| EXPRESSing session types | 2025-07-24 | Paper |
| On the fair termination of client-server sessions | 2024-11-26 | Paper |
A logical account of subtyping for session types
Journal of Logical and Algebraic Methods in Programming | 2024-10-08 | Paper |
| An infinitary proof theory of linear logic ensuring fair termination in the linear \(\pi\)-calculus | 2024-08-13 | Paper |
Fair termination of multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| Deadlock Analysis of Wait-Notify Coordination | 2024-03-14 | Paper |
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Logical Methods in Computer Science | 2022-10-06 | Paper |
Probabilistic Analysis of Binary Sessions
(available as arXiv preprint) | 2022-07-18 | Paper |
A distributed implementation of mobile nets as mobile agents
Lecture Notes in Computer Science | 2021-05-20 | Paper |
| Session types = intersection types + union types | 2021-03-03 | Paper |
Session types = intersection types + union types
(available as arXiv preprint) | 2021-03-03 | Paper |
| Session types at the mirror | 2021-02-09 | Paper |
A type checking algorithm for concurrent object protocols
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
A core calculus for dynamic delta-oriented programming
Acta Informatica | 2018-06-26 | Paper |
Deadlock and lock freedom in the linear \(\pi\)-calculus
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
A simple library implementation of binary sessions
Journal of Functional Programming | 2017-10-23 | Paper |
On sessions and infinite data
(available as arXiv preprint) | 2017-06-22 | Paper |
Context-free session type inference
Programming Languages and Systems | 2017-05-19 | Paper |
Types for deadlock-free higher-order programs
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
A gentle introduction to multiparty asynchronous session types
Lecture Notes in Computer Science | 2016-10-04 | Paper |
Global progress for dynamically interleaved multiparty sessions
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Fair subtyping for multi-party session types
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Type reconstruction for the linear \(\pi\)-calculus with composite regular types
Logical Methods in Computer Science | 2016-01-07 | Paper |
An algebraic theory for web service contracts
Formal Aspects of Computing | 2015-09-03 | Paper |
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Type reconstruction for the linear \(\pi \)-calculus with composite and equi-recursive types
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Exception handling for copyless messaging
Science of Computer Programming | 2014-03-25 | Paper |
Fair subtyping for open session types
Automata, Languages, and Programming | 2013-08-07 | Paper |
On projecting processes into session types
MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
On global types and multi-party sessions
Logical Methods in Computer Science | 2012-04-03 | Paper |
Typing copyless message passing
Logical Methods in Computer Science | 2012-04-03 | Paper |
Typing copyless message passing
Programming Languages and Systems | 2011-05-19 | Paper |
Contract-based discovery of Web services modulo simple orchestrators
Theoretical Computer Science | 2010-08-24 | Paper |
Contracts for Mobile Processes
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
PiDuce- A project for experimenting web services technologies
Science of Computer Programming | 2009-08-21 | Paper |
Contract-Directed Synthesis of Simple Orchestrators
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
The Must Preorder Revisited
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
The Pairing of Contracts and Session Types
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
Lecture Notes in Computer Science | 2007-11-28 | Paper |
From Notation to Semantics: There and Back Again
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 1951630 (Why is no real title available?) | 2003-07-21 | Paper |
Mathematical knowledge management in HELM
Annals of Mathematics and Artificial Intelligence | 2003-06-09 | Paper |
| scientific article; zbMATH DE number 1863377 (Why is no real title available?) | 2003-02-04 | Paper |
| Mathematical knowledge management in HELM | 2002-02-14 | Paper |
