Argus

Argus is a programming language created at MIT by Barbara Liskov between 1982 and 1988, with Maurice Herlihy, Paul Johnson, Robert Scheifler and William Weihl. It extends the CLU language, uses most of its syntax and semantics, and was designed to support distributed programs.