Reverse Exchange for Concurrency and Local Reasoning.

Han-Hing Dang, Bernhard Mller

Browse the full MPC paper archive.