传值进程模型检测中诊断信息的生成

• Diagnostic Information Generation in Model Checking Value-Passing Processes