TY  - RPRT
TI  - Termination Detection of Local Computations
AU  - Emmanuel Godard
AU  - Yves Métivier
AU  - Gerard Tel
PY  - 2010
UR  - https://arxiv.org/abs/1001.2785
ID  - 1001.2785
ER  -