Language primitives and type disciplines for structured communication-based programming revisited (2007)

by Nobuko Yoshida, Vasco T Vasconcelos
Venue:In SecRet’06, volume 171(4) of ENTCS