No. Title Author Year
1 A Sound Algorithm for Asynchronous Session Subtyping Bravetti, Mario et al. 2019
2 Motion Session Types for Robotic Interactions (Brave New Idea Paper) Majumdar, Rupak et al. 2019
3 A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Scalas, Alceste et al. 2017
4 A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) Scalas, Alceste et al. 2017
5 Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) Gay, Simon et al. 2017
6 Lightweight Session Programming in Scala Scalas, Alceste et al. 2016
7 Lightweight Session Programming in Scala (Artifact) Scalas, Alceste et al. 2016
8 Characteristic Bisimulation for Higher-Order Session Processes Kouzapas, Dimitrios et al. 2015
9 Meeting Deadlines Together Bocchi, Laura et al. 2015
10 Multiparty Session Types as Coherence Proofs Carbone, Marco et al. 2015
11 On the Expressiveness of Multiparty Sessions Demangeon, Romain et al. 2015
12 Calculating communication costs with Sessions Types and Sizes Franco, Juliana et al. 2014
13 Global Escape in Multiparty Sessions Capecchi, Sara et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 13


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