No. Title Author Year
1 Lightweight Session Programming in Scala Scalas, Alceste et al. 2016
2 Lightweight Session Programming in Scala (Artifact) Scalas, Alceste et al. 2016
3 Characteristic Bisimulation for Higher-Order Session Processes Kouzapas, Dimitrios et al. 2015
4 Meeting Deadlines Together Bocchi, Laura et al. 2015
5 Multiparty Session Types as Coherence Proofs Carbone, Marco et al. 2015
6 On the Expressiveness of Multiparty Sessions Demangeon, Romain et al. 2015
7 Calculating communication costs with Sessions Types and Sizes Franco, Juliana et al. 2014
8 Global Escape in Multiparty Sessions Capecchi, Sara et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI