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