{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:50:48Z","timestamp":1729615848407,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/cscwd.2008.4537051","type":"proceedings-article","created":{"date-parts":[[2010,12,13]],"date-time":"2010-12-13T16:00:45Z","timestamp":1292256045000},"page":"630-635","source":"Crossref","is-referenced-by-count":1,"title":["Investigating Workflow Resource Patterns in term of Pi-calculus"],"prefix":"10.1109","author":[{"family":"Gang Xue","sequence":"first","affiliation":[]},{"family":"Joan Lu","sequence":"additional","affiliation":[]},{"family":"Ning Gong","sequence":"additional","affiliation":[]},{"family":"Shaowen Yao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1631\/jzus.2003.0643","article-title":"an approach for workflow modeling using pi-calculus","volume":"4","author":"dong","year":"2003","journal-title":"Journal of Zhejiang University (Science)"},{"key":"16","first-page":"428","article-title":"the mobility workbench - a tool for the pi-calculus","volume":"818","author":"victor","year":"1994","journal-title":"LNCS"},{"article-title":"the polyadic pi-calculus: a tutorial","year":"1991","author":"milner","key":"13"},{"article-title":"applied pi-a brief tutorial","year":"2000","author":"sewell","key":"14"},{"key":"11","first-page":"414","article-title":"formalizing service interactions","volume":"4102","author":"decker","year":"2006","journal-title":"LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"3","article-title":"workflow resource patterns","volume":"127","author":"russell","year":"2004","journal-title":"BETA Working Paper Series WP"},{"key":"2","article-title":"workflow data patterns","author":"russell","year":"2004","journal-title":"QUT Technical report"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"article-title":"in terms of nets: system design with petri nets and process algebra","year":"1998","author":"basten","key":"10"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"5","article-title":"exception handling patterns in process-aware information systems","author":"russell","year":"0","journal-title":"BPM Center Report"},{"key":"4","first-page":"153","article-title":"using the pi-calculus for formalizing workflow patterns","volume":"3649","author":"puhlmann","year":"2005","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_11"},{"key":"8","article-title":"pattern-based analysis of uml activity diagrams","volume":"129","author":"wohed","year":"2004","journal-title":"BETA Working Paper Series WP"}],"event":{"name":"in Design (CSCWD)","start":{"date-parts":[[2008,4,16]]},"location":"Xian, China","end":{"date-parts":[[2008,4,18]]}},"container-title":["2008 12th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4530852\/4536938\/04537051.pdf?arnumber=4537051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:11:33Z","timestamp":1497877893000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4537051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2008.4537051","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}