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 |