R-SHIM: deterministic concurrency with recursion and shared variables.

Olivier Tardieu Stephen A. Edwards R-SHIM: deterministic concurrency with recursion and shared variables. 202 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695931 db/conf/memocode/memocode2006.html#TardieuE06