I did some classes on the parallel language Occam-Pi back in uni. I really liked some of the designs - it's designed like a circuit diagram, with data flowing b

I did some classes on the parallel language Occam-Pi back in uni. I really liked some of the designs - it's designed like a circuit diagram, with data flowing between segments in channels, and if no data is flowing, the channel and its attached segment blocks without consuming resources. It's also very easy to switch between series and parallel execution, and by designing it like an electrical circuit, it becomes possible to identify potential deadlocks and prove your program will function as expected. It's mostly an academic language, but it's worth looking at.