TY  - RPRT
TI  - A Decidable Equivalence for a Turing-complete, Distributed Model of Computation
AU  - Arnaldo Cesco
AU  - Roberto Gorrieri
PY  - 2022
DO  - 10.4230/lipics.mfcs.2021.28
UR  - https://arxiv.org/abs/2104.14859
ID  - 2104.14859
ER  -