{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:13:02Z","timestamp":1725495182099},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387343457"},{"type":"electronic","value":"9780387344560"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/0-387-34456-x_13","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T10:57:38Z","timestamp":1194951458000},"page":"133-142","source":"Crossref","is-referenced-by-count":3,"title":["Grid Computing Simulation and Verification Based on pi Calculus"],"prefix":"10.1007","author":[{"given":"Tao","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaofan","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weibo","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Y.J. Lee and P. Henderson, A Practical Modelling Notation for Secure Distributed Computation, Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA\u201905), pp. 439\u2013442, 2005."},{"key":"13_CR2","unstructured":"A. Paschke and M. Bichler, SLA Representation, Management and Enforcement, Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, 2005."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Z.Y. Xia and Y.C. Jiang, A Novel Grid Node-by-Node, GCC 2004, LNCS 3251, pp. 356\u2013363, 2004.","DOI":"10.1007\/978-3-540-30208-7_51"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"M. Ragni, An Arrangement Calculus, Its Complexity, and Algorithmic Properties, KI 2003, LNAI 2821, pp. 580\u2013590, 2003.","DOI":"10.1007\/978-3-540-39451-8_42"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"C.L. Weng, X.D. Lu, and Q.N. Deng, Formalizing Service Publication and Discovery in Grid Computing Systems, GCC 2003, LNCS 3032, pp.669\u2013676, 2004.","DOI":"10.1007\/978-3-540-24679-4_118"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Z.W. Qi, C. Fu, D.Y. Shi, J.Y. You, and M.L. Li, Membrane Calculus: A Formal Method for Grid Transactions, GCC 2004, LNCS 3251, pp.73\u201380, 2004.","DOI":"10.1007\/978-3-540-30208-7_16"},{"key":"13_CR7","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner, Communication and Concurrency (International Series in Computer Science, Prentice Hall, 1989)."},{"key":"13_CR8","unstructured":"R. Milner, Communicating and Mobile Systems: the \u03c0-Calculus (Cambridge 1999)."},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes, Part I and Part II. Information and Computation\n                100(1), 1\u201377 (1992).","journal-title":"Information and Computation"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Communicating Sequential Processes (Prentice-Hall, 1984).","DOI":"10.1007\/978-3-662-09507-2_19"},{"key":"13_CR11","series-title":"Technical Reports","volume-title":"Structural Characterizations of Sound Workflow Nets","author":"W.M.P. Aalst Van der","year":"1996","unstructured":"W.M.P Van der Aalst, Structural Characterizations of Sound Workflow Nets, Technical Reports, 96\/23, Eindhoven: Eindhoven University of Technology, 1996."}],"container-title":["IFIP International Federation for Information Processing","Research and Practical Issues of Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-34456-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:03:30Z","timestamp":1558375410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-34456-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780387343457","9780387344560"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/0-387-34456-x_13","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2006]]}}}