Concurrent programming language