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

Zilu Tian, Dan Olteanu, Christoph Koch 0001. Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations. Proc. ACM Manag. Data, 3(3), June 2025. [doi]

Abstract

Abstract is missing.