基于π演算的工作流模型检验

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于π演算的工作流模型检验

刘峰, 陈笑蓉

Workflow Model Checking Based on π Calculus

LIU Feng, CHEN Xiao-Rong

计算机工程 . 2011, (23): 60 -62 . DOI: 10.3969/j.issn.1000-3428.2011.23.020