1. Minimal Session Types for the π-calculus;Arslanagic Alen;PPDP. ACM,2021
2. Giovanni Bernardi , Ornela Dardha , Simon J. Gay , and Dimitrios Kouzapas . 2014. On Duality Relations for Session Types . In TGC(LNCS, Vol. 8902) . Springer , 51–66. https://doi.org/10.1007/978-3-662-45917-1_4 10.1007/978-3-662-45917-1_4 Giovanni Bernardi, Ornela Dardha, Simon J. Gay, and Dimitrios Kouzapas. 2014. On Duality Relations for Session Types. In TGC(LNCS, Vol. 8902). Springer, 51–66. https://doi.org/10.1007/978-3-662-45917-1_4
3. Giovanni Bernardi and Matthew Hennessy . 2014. Using Higher-Order Contracts to Model Session Types (Extended Abstract) . In CONCUR(Lecture Notes in Computer Science, Vol. 8704) . Springer , 387–401. https://doi.org/10.1007/978-3-662-44584-6_27 10.1007/978-3-662-44584-6_27 Giovanni Bernardi and Matthew Hennessy. 2014. Using Higher-Order Contracts to Model Session Types (Extended Abstract). In CONCUR(Lecture Notes in Computer Science, Vol. 8704). Springer, 387–401. https://doi.org/10.1007/978-3-662-44584-6_27
4. Luís Caires and Frank Pfenning . 2010. Session Types as Intuitionistic Linear Propositions . In CONCUR(LNCS, Vol. 6269) . Springer , 222–236. https://doi.org/10.1007/978-3-642-15375-4_16 10.1007/978-3-642-15375-4_16 Luís Caires and Frank Pfenning. 2010. Session Types as Intuitionistic Linear Propositions. In CONCUR(LNCS, Vol. 6269). Springer, 222–236. https://doi.org/10.1007/978-3-642-15375-4_16
5. Amalgamating sessions and methods in object-oriented languages with generics