Thanks for the feedback. I didn't read any papers about Alef indeed, because it seemed to be only a brief intermezzo, but I read about Limbo, which only added b

Thanks for the feedback. I didn't read any papers about Alef indeed, because it seemed to be only a brief intermezzo, but I read about Limbo, which only added buffered channels as soon as Go came up. I will take a look at your references, thanks. I should also take another look at Hoare's CSP book (it's 30 years ago since I've read it). I'm aware that there were other CSP languages, and I'm indeed currently reading Ben-Ari's Spin book which uses Promela, but the goal was not to discuss all languages, but the ones relevant for the Pascal and Go heritage; it's by no means a complete historic treatment. But since Go has buffered channels (even if Joyce and SuperPascal didn't), this is a good justification to also have them in Oberon+. Concerning select, there is now a proposal in the updated paper which follows the discussion here (see https://news.ycombinator.com/item?id=38772561 https://news.ycombinator.com/item?id=38772561). For the time being I added both, a SELECT function and an extended WITH statement to the proposal, both with non-blocking versions. It's still to be discussed whether both are needed, or only one, or whatever other good idea is around.