{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:32:34Z","timestamp":1725654754521},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281143"},{"type":"electronic","value":"9783642281150"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28115-0_13","type":"book-chapter","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T15:44:07Z","timestamp":1327419847000},"page":"131-142","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Framework for Cooperative Logistics Management"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Satoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_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., Zavattaro, G.: SCC: A Service Centered Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"unstructured":"Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.: Bigtable: A Distributed Storage System for Structured Data. In: Proceedings of 7th Symposium on Operating Systems Design and Implementation (OSDI 2006), pp. 205\u2013218. USENIX Association (2006)","key":"13_CR2"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","key":"13_CR3","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"International Energy Agency, Transport Energy and CO2 (Moving Toward Sustainability, IEA (2009)","key":"13_CR4"},{"issue":"1","key":"13_CR5","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"},{"unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)","key":"13_CR6"},{"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); (A preliminary version of this paper appeared in the Lecture Notes for NATO summer school August 2004)","key":"13_CR7","DOI":"10.1007\/s10270-006-0012-1"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11538394_11","volume-title":"Business Process Management","author":"F. Puhlmann","year":"2005","unstructured":"Puhlmann, F., Weske, M.: Using the \u03c0-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"issue":"1","key":"13_CR9","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"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-68855-6_16","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"I. Satoh","year":"2008","unstructured":"Satoh, I.: A Specification Framework for Earth-Friendly Logistics. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 251\u2013266. Springer, Heidelberg (2008)"},{"issue":"15","key":"13_CR11","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"},{"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)","key":"13_CR12","DOI":"10.1504\/IJBPIM.2006.012633"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28115-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,26]],"date-time":"2021-12-26T21:23:06Z","timestamp":1640553786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28115-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281143","9783642281150"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28115-0_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}