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
Current Page :
Number of result pages: 1
Number of documents: 18


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