TY  - RPRT
TI  - Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations
AU  - Zilu Tian
AU  - Dan Olteanu
AU  - Christoph Koch
PY  - 2025
DO  - 10.1145/3725421
UR  - https://arxiv.org/abs/2504.09788
ID  - 2504.09788
ER  -