Mizera, Andrzej; Pang, Jun; Yuan, Qixia GPU-accelerated steady-state computation of large probabilistic Boolean networks. (English) Zbl 1425.68121 Formal Asp. Comput. 31, No. 1, 27-46 (2019). MSC: 68Q10 68Q87 92C42 PDFBibTeX XMLCite \textit{A. Mizera} et al., Formal Asp. Comput. 31, No. 1, 27--46 (2019; Zbl 1425.68121) Full Text: DOI Link
Merz, Stephan (ed.); Pang, Jun (ed.); Dong, Jin Song (ed.) Editorial. (English) Zbl 1345.00025 Formal Asp. Comput. 28, No. 5, 723-724 (2016). MSC: 00B25 68-06 68Q60 68Q85 93A30 PDFBibTeX XMLCite \textit{S. Merz} (ed.) et al., Formal Asp. Comput. 28, No. 5, 723--724 (2016; Zbl 1345.00025) Full Text: DOI
Li, Yongjian; Pang, Jun Formalizing provable anonymity in Isabelle/HOL. (English) Zbl 1331.68202 Formal Asp. Comput. 27, No. 2, 255-282 (2015). MSC: 68T15 PDFBibTeX XMLCite \textit{Y. Li} and \textit{J. Pang}, Formal Asp. Comput. 27, No. 2, 255--282 (2015; Zbl 1331.68202) Full Text: DOI Link
Li, Yongjian; Pang, Jun An inductive approach to strand spaces. (English) Zbl 1298.68083 Formal Asp. Comput. 25, No. 4, 465-501 (2013). MSC: 68P25 68M12 68T15 94A60 94A62 PDFBibTeX XMLCite \textit{Y. Li} and \textit{J. Pang}, Formal Asp. Comput. 25, No. 4, 465--501 (2013; Zbl 1298.68083) Full Text: DOI
Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco Verification of a sliding window protocol in \(\mu\) CRL and PVS. (English) Zbl 1101.68309 Formal Asp. Comput. 17, No. 3, 342-388 (2005). MSC: 68M10 PDFBibTeX XMLCite \textit{B. Badban} et al., Formal Asp. Comput. 17, No. 3, 342--388 (2005; Zbl 1101.68309) Full Text: DOI