proj-plbook-plChProcessCalculi

Table of Contents for Programming Languages: a survey

Chapter: Process Calculi

https://en.m.wikipedia.org/wiki/Process_calculus

especially related to channels/message passing.

communicating sequential processes (CSP) (process calculus)

pi calculus (process calculus)

In Pi Calculus, a channel can itself be sent over a channel.