{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:30:32Z","timestamp":1730295032375,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/scc.2004.1357985","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T09:34:02Z","timestamp":1103794442000},"page":"16-22","source":"Crossref","is-referenced-by-count":0,"title":["A new formal model based on p-system for mobile transactions"],"prefix":"10.1109","author":[{"family":"Zhengwei Qi","sequence":"first","affiliation":[]},{"family":"Ruonan Rao","sequence":"additional","affiliation":[]},{"family":"Guangtao Xue","sequence":"additional","affiliation":[]},{"family":"Jinyuan You","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAPD.0000028552.69032.f9"},{"key":"18","first-page":"124","article-title":"A calculus for longrunning transactions","author":"bocchi","year":"2003","journal-title":"FMOODS"},{"key":"15","first-page":"340","article-title":"Computing with membranes: Variants with an enhanced membrane handling","author":"margenstem","year":"2001","journal-title":"data"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80699-1"},{"key":"13","article-title":"Higher-order chemistry","author":"banatre","year":"2003","journal-title":"Preproceedings of the Workshop on Membrane Computing"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1142\/9789812810908_0019"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24619-0_21"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1995.500045"},{"key":"3","article-title":"Coloured petri nets. Basic concepts, analysis methods and practical use","volume":"1","author":"jensen","year":"1997","journal-title":"Basic Concepts Monographs in Theoretical Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00136-6"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1693"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45541-8_12"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013672431080"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(02)00203-7"},{"key":"5","article-title":"Defining an adaptable mobile transaction service","volume":"2490","author":"alvarado","year":"0","journal-title":"Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"9","article-title":"Orchestrating transactions in join calculus","volume":"2421","author":"bruni","year":"0","journal-title":"Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/298151.298393"}],"event":{"name":"IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004","location":"Shanghai, China"},"container-title":["IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9386\/29797\/01357985.pdf?arnumber=1357985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T02:36:53Z","timestamp":1489545413000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357985\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/scc.2004.1357985","relation":{},"subject":[]}}