A theoretical basis of communication-centred concurrent programming (0)

by M Carbone, K Honda, N Yoshida, R Milner, G Brown, S Ross-Talbot