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

Title:
Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations
Authors:
Tian, Zilu, Olteanu, Dan, Koch, Christoph
Source:
Proceedings of the ACM on Management of Data - SIGMOD. 3(3):1-28
Availability:
http://dl.acm.org/doi/10.1145/3725421
Database:
ACM Full-Text Collection