基于家态的多事务工作流完整性分析
庞善臣, 闫春钢, 蒋昌俊,
Soundness Analysis of the Multi-cases Workflow Model Based on Home State
PANG Shan-chen, YAN Chun-gang, JIANG Chang-jun,
电子学报 . 2006, (6): 1163 -1168 .