@misc{indiciae62eac05ae5a4,
  title = {Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations},
  author = {Zilu Tian and Dan Olteanu and Christoph Koch},
  year = {2025},
  doi = {10.1145/3725421},
  url = {https://arxiv.org/abs/2504.09788},
  note = {Source identifier: 2504.09788}
}