@inproceedings(DBLP:conf/concur/DemangeonH11,
 author       = {Romain Demangeon and Kohei Honda},
 year         = {2011},
 title        = {Full Abstraction in a Subtyped pi-Calculus with Linear Types},
 booktitle    = {{CONCUR} 2011 - Concurrency Theory},
 series       = {Lecture Notes in Computer Science},
 volume       = {6901},
 publisher    = {Springer},
 pages        = {280--296},
 doi          = {10.1007/978-3-642-23217-6\_19},
)
@inproceedings(DBLP:conf/sefm/FrancoV13,
 author       = {Juliana Franco and Vasco Thudichum Vasconcelos},
 year         = {2013},
 title        = {A Concurrent Programming Language with Refined Session Types},
 booktitle    = {Software Engineering and Formal Methods},
 series       = {Lecture Notes in Computer Science},
 volume       = {8368},
 publisher    = {Springer},
 pages        = {15--28},
 doi          = {10.1007/978-3-319-05032-4\_2},
)
@article(DBLP:journals/acta/GayH05,
 author       = {Simon J. Gay and Malcolm Hole},
 year         = {2005},
 title        = {Subtyping for session types in the pi calculus},
 journal      = {Acta Inf.},
 volume       = {42},
 number       = {2-3},
 pages        = {191--225},
 doi          = {10.1007/s00236-005-0177-z},
)
@inproceedings(DBLP:conf/concur/Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {{CONCUR} '93, 4th International Conference on Concurrency Theory},
 series       = {Lecture Notes in Computer Science},
 volume       = {715},
 publisher    = {Springer},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {Programming Languages and Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(DBLP:journals/iandc/KouzapasPY19,
 author       = {Dimitrios Kouzapas and Jorge A. P{\'{e}}rez and Nobuko Yoshida},
 year         = {2019},
 title        = {On the relative expressiveness of higher-order session processes},
 journal      = {Inf. Comput.},
 volume       = {268},
 doi          = {10.1016/j.ic.2019.06.002},
)
@article(DBLP:journals/mscs/Milner92,
 author       = {Robin Milner},
 year         = {1992},
 title        = {Functions as Processes},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {2},
 pages        = {119--141},
 doi          = {10.1017/S0960129500001407},
)
@article(DBLP:journals/iandc/Sangiorgi98,
 author       = {Davide Sangiorgi},
 year         = {1998},
 title        = {An Interpretation of Typed Objects into Typed pi-Calculus},
 journal      = {Inf. Comput.},
 volume       = {143},
 number       = {1},
 pages        = {34--73},
 doi          = {10.1006/inco.1998.2711},
)
@inproceedings(DBLP:conf/parle/TakeuchiHK94,
 author       = {Kaku Takeuchi and Kohei Honda and Makoto Kubo},
 year         = {1994},
 title        = {An Interaction-based Language and its Typing System},
 booktitle    = {{PARLE} '94: Parallel Architectures and Languages Europe},
 series       = {Lecture Notes in Computer Science},
 volume       = {817},
 publisher    = {Springer},
 pages        = {398--413},
 doi          = {10.1007/3-540-58184-7\_118},
)
@article(DBLP:journals/iandc/Vasconcelos12,
 author       = {Vasco T. Vasconcelos},
 year         = {2012},
 title        = {Fundamentals of session types},
 journal      = {Inf. Comput.},
 volume       = {217},
 pages        = {52--70},
 doi          = {10.1016/j.ic.2012.05.002},
)
@inproceedings(ESOP2020,
 author       = {Vasco T. Vasconcelos and Filipe Casal and Bernardo Almeida and Andreia Mordido},
 year         = {2020},
 title        = {Mixed Sessions},
 booktitle    = {Programming Languages and Systems, 29th European Symposium on Programming, ESOP 2020},
 series       = {Lecture Notes in Computer Science},
 volume       = {12075},
 publisher    = {Springer},
)
@inproceedings(DBLP:conf/ecoop/Vasconcelos94,
 author       = {Vasco Thudichum Vasconcelos},
 year         = {1994},
 title        = {Typed Concurrent Objects},
 booktitle    = {Object-Oriented Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {821},
 publisher    = {Springer},
 pages        = {100--117},
 doi          = {10.1007/BFb0052178},
)