Lock-free channels for programming via communicating sequential processes - poster
PPoPP, pp. 417-418, 2019.
Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP)  and actor  models, which share data via explicit communication. Rendezvous channel is the common abstraction for communication between several processes, where senders an...More
Full Text (Upload PDF)
PPT (Upload PPT)