Argus

Argus是一种由芭芭拉·利斯科夫在1982年至1988年间在麻省理工学院创建的编程语言，与Maurice Herlihy、Paul Johnson、Robert Scheifler和William Weihl合作。Argus是CLU语言的扩展，使用大部分相同的语法和语义。Argus设计用于支持分布式程序的创建，通过将相关过程封装在称为守护者的对象中，并支持原子性操作称为行动。