Jayadev Misra. Detecting Termination of Distributed Computations Using Markers. In PODC. pages 290-294, 1983.
@inproceedings{Misra83,
title = {Detecting Termination of Distributed Computations Using Markers},
author = {Jayadev Misra},
year = {1983},
tags = {termination},
researchr = {https://researchr.org/publication/Misra83},
cites = {0},
citedby = {0},
pages = {290-294},
booktitle = {PODC},
}