Language Primitives and Type Discipline for Structured Communication-Based Programming.

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo

Browse the full ESOP paper archive.