Principles and Practice of Parallel Programming

• Lock-free Channels for Programming via Communicating Sequential Processes
• PC Member in Program Committee