Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication (2007)

by N Yoshida, V T Vasconcelos
Venue:In 1st International Workshop on Security and Rewriting Techniques, ENTCS