{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:28Z","timestamp":1725514888160},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540688549"},{"type":"electronic","value":"9783540688556"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68855-6_16","type":"book-chapter","created":{"date-parts":[[2008,5,31]],"date-time":"2008-05-31T05:18:13Z","timestamp":1212211093000},"page":"251-266","source":"Crossref","is-referenced-by-count":4,"title":["A Specification Framework for Earth-Friendly Logistics"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Satoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V.T., Zavattaro, G.: SCC: a Service Centered Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J., Marnaget, L., Remy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"issue":"1","key":"16_CR4","first-page":"96","volume":"70","author":"M. Mazzara","year":"2006","unstructured":"Mazzara, M., Lucchi, R.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"McCann, P.J., Roman, G.-C.: Compositional Programming Abstractions for Mobile Computing. IEEE Transaction on Software Engineering\u00a024(2) (1998)","DOI":"10.1109\/32.666824"},{"key":"16_CR6","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"#cr-split#-16_CR7.1","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (2006);","DOI":"10.1007\/s10270-006-0012-1"},{"key":"#cr-split#-16_CR7.2","unstructured":"A preliminary version of this paper appeared in the Lecture Notes for NATO summer school (August 2004)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. In: Proceedings of the International Conference on Business Process Management, pp. 153\u2013168 (2005)","DOI":"10.1007\/11538394_11"},{"issue":"12","key":"16_CR9","doi-asserted-by":"publisher","first-page":"1112","DOI":"10.1109\/TSE.2003.1265525","volume":"29","author":"I. Satoh","year":"2003","unstructured":"Satoh, I.: A Testing Framework for Mobile Computing Software. IEEE Transactions on Software Engineering\u00a029(12), 1112\u20131121 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR10","first-page":"215","volume-title":"Proceedings of IEEE 3rd International Conference on Pervasive Computing and Communications (PerCom 2005)","author":"I. Satoh","year":"2005","unstructured":"Satoh, I.: A Location Model for Pervasive Computing Environments. In: Proceedings of IEEE 3rd International Conference on Pervasive Computing and Communications (PerCom 2005), pp. 215\u2013224. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10922-005-9018-1","volume":"14","author":"I. Satoh","year":"2006","unstructured":"Satoh, I.: Building and Selecting Mobile Agents for Network Management. Journal of Network and Systems Management\u00a014(1), 147\u2013169 (2006)","journal-title":"Journal of Network and Systems Management"},{"issue":"15","key":"16_CR12","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1016\/S0950-5849(03)00135-6","volume":"45","author":"H. Smith","year":"2003","unstructured":"Smith, H.: Business Process Management-The Third Wave: Business Process Modeling Language (BPML) and Its Pi-Calculus Foundations. Information and Software Technology\u00a045(15), 1065\u20131069 (2003)","journal-title":"Information and Software Technology"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Xu, K., Liu, Y., Zhu, J., Wu, C.: Pi-Calculus Based Bi-transformation of State-Driven Model and Flow-Driven Model. International Journal of Business Process Integration and Management (2006)","DOI":"10.1504\/IJBPIM.2006.012633"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68855-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T16:30:13Z","timestamp":1557592213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68855-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688549","9783540688556"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68855-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}