Channels

A Limbo channel is a language-level mechanism for passing typed-data between threads. A channel is somewhat like an array; it itself is a type, and it has a type.

Channels are a common control model for Limbo programs: an executive process (e.g., init) starts other threads and communicates with them via channels.