TY  - RPRT
TI  - On the Optimization of Equivalent Concurrent Computations
AU  - Henrich Lauko
AU  - Lukáš Korenčik
AU  - Peter Goodman
PY  - 2022
UR  - https://arxiv.org/abs/2208.06295
ID  - 2208.06295
ER  -