No. Title Author Year
1 A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Scalas, Alceste et al. 2017
2 A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) Scalas, Alceste et al. 2017
3 Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) Gay, Simon et al. 2017
4 Lightweight Session Programming in Scala Scalas, Alceste et al. 2016
5 Lightweight Session Programming in Scala (Artifact) Scalas, Alceste et al. 2016
6 Characteristic Bisimulation for Higher-Order Session Processes Kouzapas, Dimitrios et al. 2015
7 Meeting Deadlines Together Bocchi, Laura et al. 2015
8 Multiparty Session Types as Coherence Proofs Carbone, Marco et al. 2015
9 On the Expressiveness of Multiparty Sessions Demangeon, Romain et al. 2015
10 Calculating communication costs with Sessions Types and Sizes Franco, Juliana et al. 2014
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint Published by LZI