Safe and Efficient Data Sharing for Message-Passing Concurrency.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Browse the full Coordination paper archive.