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

Nobuko Yoshida, Vasco Thudichum Vasconcelos. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electronic Notes in Theoretical Computer Science, 171(4):73-93, 2007. [doi]

Authors

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google

Vasco Thudichum Vasconcelos

This author has not been identified. It may be one of the following persons: Look up 'Vasco Thudichum Vasconcelos' in Google