| No. |
Title |
Author |
Year |
| 1 |
CONCUR Test-Of-Time Award 2021 (Invited Paper) |
Bertrand, Nathalie et al. |
2021 |
| 2 |
Multiparty Session Programming With Global Protocol Combinators |
Imai, Keigo et al. |
2020 |
| 3 |
Multiparty Session Programming with Global Protocol Combinators (Artifact) |
Imai, Keigo et al. |
2020 |
| 4 |
Static Race Detection and Mutex Safety and Liveness for Go Programs |
Gabet, Julia et al. |
2020 |
| 5 |
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) |
Gabet, Julia et al. |
2020 |
| 6 |
A Sound Algorithm for Asynchronous Session Subtyping |
Bravetti, Mario et al. |
2019 |
| 7 |
Motion Session Types for Robotic Interactions (Brave New Idea Paper) |
Majumdar, Rupak et al. |
2019 |
| 8 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming |
Scalas, Alceste et al. |
2017 |
| 9 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) |
Scalas, Alceste et al. |
2017 |
| 10 |
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) |
Gay, Simon et al. |
2017 |
| 11 |
Lightweight Session Programming in Scala |
Scalas, Alceste et al. |
2016 |
| 12 |
Lightweight Session Programming in Scala (Artifact) |
Scalas, Alceste et al. |
2016 |
| 13 |
Characteristic Bisimulation for Higher-Order Session Processes |
Kouzapas, Dimitrios et al. |
2015 |
| 14 |
Meeting Deadlines Together |
Bocchi, Laura et al. |
2015 |
| 15 |
Multiparty Session Types as Coherence Proofs |
Carbone, Marco et al. |
2015 |
| 16 |
On the Expressiveness of Multiparty Sessions |
Demangeon, Romain et al. |
2015 |
| 17 |
Calculating communication costs with Sessions Types and Sizes |
Franco, Juliana et al. |
2014 |
| 18 |
Global Escape in Multiparty Sessions |
Capecchi, Sara et al. |
2010 |
