Language primitives and type discipline for structured communication-based programming (1998)

by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
Venue:In Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems