Lukasz Ziarek K. C. Sivaramakrishnan Suresh Jagannathan Partial memoization of concurrency and communication. 161-172 2009 ICFP http://doi.acm.org/10.1145/1596550.1596575 conf/icfp/2009 db/conf/icfp/icfp2009.html#ZiarekSJ09