Flexible Analysis of Cross-Organizational Process Modeling Based on π Calculus. - Ninglin Xu; Jiulei Jiang; Xiaofeng Wang (DASC/PiCom/DataCom/CyberSciTech, 2017)

Model Checking Instance Based on NuSMV. - Ninglin Xu; Zhanyou Ma; Jiulei Jiang; Panqing Zhang (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)