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

Olivier Tardieu, Stephen A. Edwards

Browse the full MEMOCODE paper archive.