Sam Lindley. Implementing deterministic declarative concurrency using sieves. In Neal Glew, Guy E. Blelloch, editors, Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007. pages 45-49, ACM, 2007. [doi]
Abstract is missing.