Argus語言

Argus是芭芭拉·利斯科夫在MIT於1982年到1988年之間創立的程式語言，協作者包括Maurice Herlihy（英語：Maurice Herlihy）、Paul Johnson、Bob Scheifler和William Weihl^[1]。它是CLU語言的擴展，利用了大多數的相同語法（英語：Syntax (programming languages)）和語義^[1]。Argus被設計用來支持分布式程序，通過封裝有關過程在叫做「守護者」的對象之中，和通過支持叫做「行動」的原子性操作^[1][2]。