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