[toolslive]

the idea has been around (and implemented) at least since the 1980s.

https://en.wikipedia.org/wiki/Emerald_(programming_language)

The CSP approach is also interesting. fe Limbo

https://en.wikipedia.org/wiki/Limbo_(programming_language)