| No. |
Title |
Author |
Year |
| 1 |
A Sound Algorithm for Asynchronous Session Subtyping |
Bravetti, Mario et al. |
2019 |
| 2 |
Motion Session Types for Robotic Interactions (Brave New Idea Paper) |
Majumdar, Rupak et al. |
2019 |
| 3 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming |
Scalas, Alceste et al. |
2017 |
| 4 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) |
Scalas, Alceste et al. |
2017 |
| 5 |
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) |
Gay, Simon et al. |
2017 |
| 6 |
Lightweight Session Programming in Scala |
Scalas, Alceste et al. |
2016 |
| 7 |
Lightweight Session Programming in Scala (Artifact) |
Scalas, Alceste et al. |
2016 |
| 8 |
Characteristic Bisimulation for Higher-Order Session Processes |
Kouzapas, Dimitrios et al. |
2015 |
| 9 |
Meeting Deadlines Together |
Bocchi, Laura et al. |
2015 |
| 10 |
Multiparty Session Types as Coherence Proofs |
Carbone, Marco et al. |
2015 |
| 11 |
On the Expressiveness of Multiparty Sessions |
Demangeon, Romain et al. |
2015 |
| 12 |
Calculating communication costs with Sessions Types and Sizes |
Franco, Juliana et al. |
2014 |
| 13 |
Global Escape in Multiparty Sessions |
Capecchi, Sara et al. |
2010 |
