occam-π

occam-π is an imperative and procedural programming language.

Paradigms
Imperative, Concurrent and distributed
Reference
Wikipedia article