{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:42Z","timestamp":1725514722951},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682646"},{"type":"electronic","value":"9783540682653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68265-3_8","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T11:35:39Z","timestamp":1212579339000},"page":"117-134","source":"Crossref","is-referenced-by-count":5,"title":["Session Types for Orchestration Charts"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed Parallel Databases"},{"key":"8_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11559306_5","volume-title":"Frontiers of Combining Systems","author":"L. Alfaro de","year":"2005","unstructured":"de Alfaro, L., Da Silva, L.D., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable Interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol.\u00a03717, pp. 81\u2013105. Springer, Heidelberg (2005)"},{"key":"8_CR3","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., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"8_CR4","unstructured":"Caires, L., Ferrari, G., Pugliese, R., Ravara, A.: Behavioural Types for Service Composition. Deliverable D2.3.a, Sensoria project (September 2006)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11767954_6","volume-title":"Coordination Models and Languages","author":"W.R. Cook","year":"2006","unstructured":"Cook, W.R., Patwardhan, S., Misra, J.: Workflow Patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 82\u201396. Springer, Heidelberg (2006)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11817949_32","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"D. Kitchin","year":"2006","unstructured":"Kitchin, D., Cook, W.R., Misra, J.: A Language for Task Orchestration and Its Semantic Properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 477\u2013491. Springer, Heidelberg (2006)"},{"issue":"5","key":"8_CR8","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the Pi-Calculus. ACM TOPLAS\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM TOPLAS"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Lanese, I., Vasconcelos, V.T., Martins, F., Ravara, A.: Disciplining Orchestration and Conversation in Service-Oriented Computing (2007)","DOI":"10.1109\/SEFM.2007.13"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11813040_7","volume-title":"FM 2006: Formal Methods","author":"K.G. Larsen","year":"2006","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: An Interface Theory for Input\/Output Automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"8_CR12","volume-title":"Proceedings of FORTE\/PSTV 1999","author":"E. Najm","year":"1999","unstructured":"Najm, E., Nimour, A., Stefani, J.B.: Guaranteeing liveness in an object calculus through behavioral typing. In: Proceedings of FORTE\/PSTV 1999, Beijing, China, October 1999, Kluwer, Dordrecht (1999)"},{"key":"8_CR13","unstructured":"Najm, E., Nimour, A.: Explicit Behavioral Typing for Object Interface. In: Semantics of Objects as Processes, ECOOP 1999 Workshop, Lisbon, Portugal (June 1999)"},{"key":"8_CR14","first-page":"99","volume-title":"Object-Oriented Software Composition","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 99\u2013121. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"8_CR15","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the Behavior of Objects and Components using Session Types. Fundamenta Informaticae\u00a073(4) (2006)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68265-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:46:27Z","timestamp":1620002787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68265-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682646","9783540682653"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68265-3_8","relation":{},"subject":[]}}