| No. |
Title |
Author |
Year |
| 1 |
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures |
Barwell, Adam D. et al. |
2023 |
| 2 |
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) |
Barwell, Adam D. et al. |
2023 |
| 3 |
Dynamically Updatable Multiparty Session Protocols (Artifact) |
Castro-Perez, David et al. |
2023 |
| 4 |
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols |
Castro-Perez, David et al. |
2023 |
| 5 |
Design-By-Contract for Flexible Multiparty Session Protocols |
Gheri, Lorenzo et al. |
2022 |
| 6 |
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact) |
Gheri, Lorenzo et al. |
2022 |
| 7 |
Generalised Multiparty Session Types with Crash-Stop Failures |
Barwell, Adam D. et al. |
2022 |
| 8 |
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types |
Lagaillardie, Nicolas et al. |
2022 |
| 9 |
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact) |
Lagaillardie, Nicolas et al. |
2022 |
| 10 |
CONCUR Test-Of-Time Award 2021 (Invited Paper) |
Bertrand, Nathalie et al. |
2021 |
| 11 |
Multiparty Session Programming With Global Protocol Combinators |
Imai, Keigo et al. |
2020 |
| 12 |
Multiparty Session Programming with Global Protocol Combinators (Artifact) |
Imai, Keigo et al. |
2020 |
| 13 |
Static Race Detection and Mutex Safety and Liveness for Go Programs |
Gabet, Julia et al. |
2020 |
| 14 |
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) |
Gabet, Julia et al. |
2020 |
| 15 |
A Sound Algorithm for Asynchronous Session Subtyping |
Bravetti, Mario et al. |
2019 |
| 16 |
Motion Session Types for Robotic Interactions (Brave New Idea Paper) |
Majumdar, Rupak et al. |
2019 |
| 17 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming |
Scalas, Alceste et al. |
2017 |
| 18 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) |
Scalas, Alceste et al. |
2017 |
| 19 |
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) |
Gay, Simon et al. |
2017 |
| 20 |
Lightweight Session Programming in Scala |
Scalas, Alceste et al. |
2016 |
| 21 |
Lightweight Session Programming in Scala (Artifact) |
Scalas, Alceste et al. |
2016 |
| 22 |
Characteristic Bisimulation for Higher-Order Session Processes |
Kouzapas, Dimitrios et al. |
2015 |
| 23 |
Meeting Deadlines Together |
Bocchi, Laura et al. |
2015 |
| 24 |
Multiparty Session Types as Coherence Proofs |
Carbone, Marco et al. |
2015 |
| 25 |
On the Expressiveness of Multiparty Sessions |
Demangeon, Romain et al. |
2015 |
| 26 |
Calculating communication costs with Sessions Types and Sizes |
Franco, Juliana et al. |
2014 |
| 27 |
Global Escape in Multiparty Sessions |
Capecchi, Sara et al. |
2010 |
