Key points are not available for this paper at this time.
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.
Barbara Liskov (Tue,) studied this question.