Concurrent Euclid programming language