Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Yoshida, Nobuko, Vasconcelos, Vasco T.·2007·Electronic Notes in Theoretical Computer Science
DOI 10.1016/j.entcs.2007.02.056