“…C HANNELS are widely used in abstract models of communicating parallel processes [1], [2], [3], [4], as well as in computer programming languages [5], [6], [7] [8], [9], [10], and hardware descriptions [11], [12], [13]. In operating systems, Unix pipes [14] directly correspond to channels.…”