I strongly recommend following that up with John Repy's work, "CML: A higher concurrent language" (1991) [1]. It has an amazingly simple and straight-forward fo

I strongly recommend following that up with John Repy's work, "CML: A higher concurrent language" (1991) [1]. It has an amazingly simple and straight-forward form of compositional concurrency that I would love to see in a language today (Rust?). Repy later went on to start Manticore [2], but it seems stuck in Research Land. Let me know if you need help getting the paper. [1] - http://dl.acm.org.ezproxy.library.tufts.edu/citation.cfm?id=113470 http://dl.acm.org.ezproxy.library.tufts.edu/citation.cfm?id=... [2] - http://manticore.cs.uchicago.edu/ http://manticore.cs.uchicago.edu/