 Janus (concurrent constraint programming language)

Janus is a computer programming language partially described by K. Kahn and Vijay A. Saraswat in the paper "Actors as a special case of concurrent constraint (logic) programming" in 1990.It is a concurrent constraint language without backtracking.