The argus language and system

• 1 January 1985
• book chapter
• Published by Springer Nature in Lecture Notes in Computer Science
• p. 343-430
• https://doi.org/10.1007/3-540-15216-4_17

Abstract

Keywords

• STABLE STORAGE
• ATOMIC TYPE
• CONCURRENT ACTION
• REPLY MESSAGE
• OPERATION EXECUTION