Xuemin Wu Liqiong Xu Chuanye Zheng The Strong Diagnosability of Multiprocessor Systems Under the PMC Model. 955-972 2025 September 36 Int. J. Found. Comput. Sci. 6 https://doi.org/10.1142/S0129054125500030 db/journals/ijfcs/ijfcs36.html#WuXZ25 streams/journals/ijfcs