{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:14:27Z","timestamp":1648854867542},"reference-count":9,"publisher":"International Academy Publishing (IAP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.8.3.779-786","type":"journal-article","created":{"date-parts":[[2013,2,27]],"date-time":"2013-02-27T22:45:34Z","timestamp":1362005134000},"source":"Crossref","is-referenced-by-count":0,"title":["Research on Translation of Index \u03c0-Net based on Index \u03c0-Calculus"],"prefix":"10.17706","volume":"8","author":[{"given":"Hui","family":"Kang","sequence":"first","affiliation":[]},{"given":"Dan","family":"Shan","sequence":"additional","affiliation":[]},{"given":"Fang","family":"Mei","sequence":"additional","affiliation":[]},{"given":"Di","family":"Cao","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2013,3,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_47"},{"key":"ref2","volume-title":"Communicating and Mobile Systems the \u03c0-Calculus","year":"2009","unstructured":"[4] Milner Robin. Communicating and Mobile Systems: the \u03c0-Calculus [M]. Beijing: Tsinghua University Press, 2009."},{"key":"ref3","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/978-1-84996-474-6_3","article-title":"The Polyadic PI-Calculus. Logic and algebra of specifications. 1991, 3: 203-247.Devillers R, Klaudel H, Koutny M. A compositional Petri net translation of general PI calculus terms","volume":"20","year":"2008","unstructured":"[6] Milner Robin. The Polyadic PI-Calculus. Logic and algebra of specifications. 1991, 3: 203-247.Devillers R, Klaudel H, Koutny M. A compositional Petri net translation of general PI calculus terms [J]. Formal Aspects of Computing, 2008, 20: 429-450.","journal-title":"Formal Aspects Comput","ISSN":"http:\/\/id.crossref.org\/issn\/0934-5043","issn-type":"print"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-474-6_3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0056-8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_31"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[1] Zhang L. ; Lu Y. ; Xu F. Unified modeling and analysis of collaboration business process based on Petri nets and Pi calculus. Software, IET. October 2010, 10.1049\/iet-sen.2008.0062.","DOI":"10.1007\/978-1-84996-474-6_3"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[3] CAO Muliang, WU Zhiming, YANG Genke. \u03c0-nets-a new modular high level Petri nets [J]. Journal of System Simulation. Aug. 2003.","DOI":"10.1007\/978-1-84996-474-6_3"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[5] Parrow J. An Introduction to the PI calculus [M]. Handbook of Process Algebra, 2001.","DOI":"10.1007\/978-1-84996-474-6_3"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T04:23:57Z","timestamp":1498019037000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/9254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,1]]},"references-count":9,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2013,3,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.8.3.779-786","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,3,1]]}}}