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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI