Distributed programming in Argus
Barbara H. Liskov · Communications of the ACM · 1988
Argus—a programming language and system developed to support the implementation and execution of distributed programs—provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes.