Alain Finkel. Decidability of the Termination Problem for Completely Specified Protocols. Distributed Computing, 7(3):129-135, 1994.
@article{Finkel94, title = {Decidability of the Termination Problem for Completely Specified Protocols}, author = {Alain Finkel}, year = {1994}, tags = {protocol, termination}, researchr = {https://researchr.org/publication/Finkel94}, cites = {0}, citedby = {0}, journal = {Distributed Computing}, volume = {7}, number = {3}, pages = {129-135}, }