Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations

Zilu Tian, Dan Olteanu, Christoph Koch

We propose novel techniques that exploit data and computation sharing to improve the performance of complex stateful parallel computations, like agent-based simulations. Parallel c…