Feng, Yuan; Zhang, Lijun Precisely deciding CSL formulas through approximate model checking for CTMCs. (English) Zbl 1372.68170 J. Comput. Syst. Sci. 89, 361-371 (2017). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, J. Comput. Syst. Sci. 89, 361--371 (2017; Zbl 1372.68170) Full Text: DOI
Feng, Yuan; Zhang, Lijun A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1337.68037 Distrib. Comput. 28, No. 4, 233-244 (2015). MSC: 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Distrib. Comput. 28, No. 4, 233--244 (2015; Zbl 1337.68037) Full Text: DOI Link
Feng, Yuan; Zhang, Lijun A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1417.68296 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 342-356 (2014). MSC: 68W40 68M14 68M15 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Lect. Notes Comput. Sci. 8704, 342--356 (2014; Zbl 1417.68296) Full Text: DOI Link
Feng, Yuan; Zhang, Lijun A tighter bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1291.68428 Inf. Process. Lett. 113, No. 13, 486-488 (2013). MSC: 68W15 68M14 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Inf. Process. Lett. 113, No. 13, 486--488 (2013; Zbl 1291.68428) Full Text: DOI