Argus Reference Manual. (2005)
Liskov, Barbara, Day, Mark, Herlihy, Maurice, Johnson, Paul, Leavens, Gary
Argus is an experimental language/system designed to support the construction and execution of distributed programs. Argus is intended to support only a subset of the applications that could benefit...