1. Robert Atkey. 2017. “ Observed Communication Semantics for Classical Processes”. In: Programming Languages and Systems (Lecture Notes in Computer Science) 10201. 26th European Symposium on Programming. ESOP 2017 ( Uppsala, Sweden, Apr. 22-29, 2017 ). Ed. by Hongseok Yang. Springer-Verlag GmbH Germany, Berlin, Germany, 56-82. isbn: 978-3-662-54434-1. https://doi.org/10.1007/978-3-662-54434-1_3. 10.1007/978-3-662-54434-1_3
2. Stephanie Balzer and Frank Pfenning. Sept. 2017. “ Manifest Sharing With Session Types”. Proceedings of the ACM on Programming Languages, 1, ICFP, ( Sept. 2017 ), 37. https://doi.org/10.1145/3110281. 10.1145/3110281
3. Luís Caires and Frank Pfenning. 2010. “ Session Types as Intuitionistic Linear Propositions”. In: CONCUR 2010-Concurrency Theory (Lecture Notes in Computer Science ) 6269. 21st International Conference, CONCUR 2010 (Paris, France, Aug. 31-Sept. 3, 2010 ). Ed. by Paul Gastin and François Laroussinie. Springer-Verlag Berlin Heidelberg, 222-236. isbn: 978-3-642-15374-7. https://doi.org/10.1007/978-3-642-15375-4_16. 10.1007/978-3-642-15375-4_16
4. Luís Caires Frank Pfenning and Bernardo Toninho. Mar. 2016. “ Linear Logic Propositions As Session Types”. Mathematical Structures in Computer Science 26 3 ( Mar. 2016 ) 367-423. Behavioural Types Part 2. https://doi.org/10.1017/s09601295140 00218. 10.1017/s0960129514000218
5. Iliano Cervesato and Andre Scedrov. Oct. 2009. “ Relating State-Based and Process-Based Concurrency Through Linear Logic (Full-Version)”. Information and Computation, 207, 10, (Oct. 2009 ), 1044-1077. Special Issue: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006 ). https://doi.org/10.1016/j.ic. 2008. 11.006. 10.1016/j.ic.2008.11.006