Formal Specification and Analysis of Termination Detection by Weight-throwing Protocol Journal title: International Journal of Advanced Computer Science & Applications Authors: Imran Riaz Hasrat, Muhammad Atif Subject(s):