%0 Journal Article
%T Formalizing Advanced Branching and Synchronization Patterns Using Pi Calculus<br>复杂分支和同步模式的Pi演算描述
%A GUO Xiao-qun
%A HAO Ke-gang
%A HOU Hong
%A DING Jian-jie
%A <br>郭小群
%A 郝克刚
%A 侯红
%A 丁剑洁
%J 计算机科学
%D 2010
%I 
%X Pi calculus is a computer model which can be used to model concurrent and dynamic systems.The Pi calculus was proposed as a formal foundation for workflow after researching Pi calculus,further more advanced branching and synchronization patterns workflow patterns were described by using the Pi calculus in detail.
%K Pi calculus
%K Workflow patterns
%K Formal method<br>Pi演算
%K 工作流模式
%K 形式化方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=69A7C983FB6151FB6E072B9CF3160CFF&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=0B39A22176CE99FB&sid=12DC19455C3A2FA8&eid=B0EBA60720995721&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6