Schewe, Sven (ed.); Zhang, Lijun (ed.) Editorial – special issue on concurrency theory (CONCUR 2018). (English) Zbl 1477.68027 J. Comput. Syst. Sci. 119, 19-20 (2021). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{S. Schewe} (ed.) and \textit{L. Zhang} (ed.), J. Comput. Syst. Sci. 119, 19--20 (2021; Zbl 1477.68027) Full Text: DOI
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