http://en.wikipedia.org/wiki/Ada_(programming_language) http://en.wikipedia.org/wiki/Ada_(programming_language) It has built-in language support for explicit c

http://en.wikipedia.org/wiki/Ada_(programming_language) http://en.wikipedia.org/wiki/Ada_(programming_language) It has built-in language support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism It's also designed specifically for embedded and realtime applications.