A Type System for Lock-Free Processes

• 15 September 2002
• journal article
• Published by Elsevier in Information and Computation
• Vol. 177  (2) , 122-159
• https://doi.org/10.1016/s0890-5401(02)93171-8

Abstract

Keywords

• TYPE SYSTEM
• BEHAVIOR
• REQUEST
• PROCESS DIVERGES
• EVENTUALLY SUCCEED
• GUARANTEES
• COMMUNICATIONS