Unifying Concurrent Objects and Distributed Tasks

Tasks and objects are two predominant ways of specifying distributed problems where processes should compute outputs based on their inputs. Roughly speaking, a task specifies, for each set of proce...