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


DROPS-Home | Imprint | Privacy Published by LZI