implicit channels between all threads; each thread identifier is a label; channels labeled with receiving thread label