{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:37:52Z","timestamp":1743032272441,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019173"},{"type":"electronic","value":"9783642019180"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01918-0_1","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T02:29:47Z","timestamp":1242872987000},"page":"1-41","source":"Crossref","is-referenced-by-count":10,"title":["Calculi for Service-Oriented Computing"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1007\/978-3-540-68679-8_40","volume-title":"Festschrift in Honour of Ugo Montanari, on the Occasion of His 65th Birthday","author":"L. Acciai","year":"2008","unstructured":"Acciai, L., Boreale, M.: A type system for client progress in a service-oriented calculus. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 642\u2013658. Springer, Heidelberg (2008)"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814105","volume-title":"Reactive Systems: Modelling, Specification and Verification","author":"L. Aceto","year":"2007","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-540-71389-0_4","volume-title":"Foundations of Software Science and Computation Structures, FOSSACS\u201907","author":"M. Bartoletti","year":"2007","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Types and effects for Resource Usage Analysis. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 32\u201347. Springer, Heidelberg (2007)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-68265-3_2","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Implementing Session Centered Calculi. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 17\u201332. Springer, Heidelberg (2008)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of ARSPA-WITS 2009, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security","author":"C. Bodei","year":"2009","unstructured":"Bodei, C., Brodo, L., Bruni, R.: Static detection of logic flaws in service applications. In: Proceedings of ARSPA-WITS 2009, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. LNCS. Springer, Heidelberg (2009) (to appear)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-78663-4_17","volume-title":"Trustworthy Global Computing","author":"E. Bonelli","year":"2008","unstructured":"Bonelli, E., Compagnoni, A.: Multisession session types for a distributed calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 240\u2013256. Springer, Heidelberg (2008)"},{"key":"1_CR7","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":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"issue":"4","key":"1_CR9","first-page":"451","volume":"89","author":"M. Bravetti","year":"2008","unstructured":"Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform.\u00a089(4), 451\u2013478 (2008)","journal-title":"Fundam. Inform."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-00945-7_5","volume-title":"TGC 2008","author":"R. Bruni","year":"2009","unstructured":"Bruni, R., De Nicola, R., Loreti, M., Mezzina, L.: Provably correct implementations of services. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 69\u201386. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.tcs.2008.04.029","volume":"402","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lanese, I.: Parametric synchronizations in mobile nominal calculi. Theoretical Computer Science\u00a0402(2-3), 102\u2013119 (2008)","journal-title":"Theoretical Computer Science"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-540-68265-3_5","volume-title":"Proceedings of COORDINATION 2008, 10th International Conference on Coordination Models and Languages","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.: Multiparty sessions in SOC. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 67\u201382. Springer, Heidelberg (2008)"},{"key":"1_CR13","first-page":"569","volume-title":"Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: L\u00e9vy, J.-J., Mayr, E., Mitchell, J. (eds.) Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pp. 569\u2013582. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"1_CR14","first-page":"209","volume-title":"POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/978-3-540-79980-1_8","volume-title":"Proceedings of AMAST 2008, 12th International Conference on Algebraic Methodology and Software Technology","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Mezzina, L.: Types and deadlock freedom in a calculus of services, sessions and pipelines. In: Rosu, G., Meseguer, J. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M. Buscemi","year":"2007","unstructured":"Buscemi, M., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: Nicola, R.D. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11539452_30","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"M. Butler","year":"2005","unstructured":"Butler, M., Bruni, R., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Proceedings of 25 Years of CSP","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A., Sanders, J. (eds.) 25 Years Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"L. Caires","year":"2008","unstructured":"Caires, L., Vieira, H.T., Seco, J.C.: The conversation calculus: A model of service oriented computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"1_CR22","first-page":"261","volume-title":"Proceedings of POPL 2008","author":"G. Castagna","year":"2008","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: Proceedings of POPL 2008, pp. 261\u2013272. ACM, New York (2008)"},{"key":"1_CR23","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)"},{"issue":"1","key":"1_CR24","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BF02986999","volume":"28","author":"E. Curtin","year":"2006","unstructured":"Curtin, E., Warshauer, M.: The locker puzzle. The Mathematical Intelligencer\u00a028(1), 28\u201331 (2006)","journal-title":"The Mathematical Intelligencer"},{"key":"1_CR25","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: MarCaSPiS: a markovian extension of a calculus for services. In: Proceedings of SOS 2008. Elect. Notes in Th. Comput. Sci. (2008) (to appear)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11580850_16","volume-title":"Trustworthy Global Computing","author":"M. Dezani-Ciancaglini","year":"2005","unstructured":"Dezani-Ciancaglini, M., Yoshida, N., Ahern, A., Drossopoulou, S.: A distributed object-oriented language with session types. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 299\u2013318. Springer, Heidelberg (2005)"},{"key":"1_CR27","volume-title":"Proc. of IPDPS 2001","author":"C. Ene","year":"2001","unstructured":"Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Proc. of IPDPS 2001. IEEE Computer Society, Los Alamitos (2001)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/11888116_4","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"G. Ferrari","year":"2006","unstructured":"Ferrari, G., Guanciale, R., Strollo, D.: JSCL: A Middleware for Service Coordination. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 46\u201360. Springer, Heidelberg (2006)"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-73196-2_5","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"G. Ferrari","year":"2007","unstructured":"Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E.: Coordination via types in an event-based framework. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol.\u00a04574, pp. 66\u201380. Springer, Heidelberg (2007)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49099-X_6","volume-title":"Programming Languages and Systems","author":"S. Gay","year":"1999","unstructured":"Gay, S., Hole, M.: Types and subtypes for client-server interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 74\u201390. Springer, Heidelberg (1999)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.: The linear time \u2013 branching time spectrum II; the semantics of sequential systems with silent moves (extended abstract). In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.: The linear time \u2013 branching time spectrum I; the semantics of concrete, sequential processes. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, ch.\u00a01, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"key":"1_CR33","volume-title":"On the Construction of Programs","author":"C. Hoare","year":"1980","unstructured":"Hoare, C.: A model for communicating sequential processes. In: On the Construction of Programs. Cambridge University Press, Cambridge (1980)"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR\u201993","author":"K. Honda","year":"1993","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"1_CR35","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., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL 2008, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Priniciples of Programming Languages, pp. 273\u2013284. ACM Press, New York (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"1_CR37","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)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","first-page":"176","volume-title":"WS-FM 2008","author":"M. Kolundzija","year":"2009","unstructured":"Kolundzija, M.: Security types for sessions and pipelines. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 176\u2013190. Springer, Heidelberg (2009)"},{"key":"1_CR39","first-page":"305","volume-title":"Proc. of SEFM 2007","author":"I. Lanese","year":"2007","unstructured":"Lanese, I., Vasconcelos, V., Martins, F., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: Proc. of SEFM 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods, pp. 305\u2013314. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"1_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-540-68679-8_42","volume-title":"Concurrency, Graphs and Models","author":"C. Laneve","year":"2008","unstructured":"Laneve, C., Padovani, L.: The pairing of contracts and session types. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 681\u2013700. Springer, Heidelberg (2008)"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"key":"1_CR42","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":"1_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-68265-3_13","volume-title":"Proc. of the 10th International Conference on Coordination Models and Languages","author":"A. Lapadula","year":"2008","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 199\u2013215. Springer, Heidelberg (2008)"},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-68265-3_14","volume-title":"Coordination Models and Languages","author":"L. Mezzina","year":"2008","unstructured":"Mezzina, L.: How to infer finite session types in a calculus of services and sessions. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 216\u2013231. Springer, Heidelberg (2008)"},{"key":"1_CR45","unstructured":"Mezzina, L.: Typing Services. Ph.D in Computer Science and Engineering, IMT Institute for Advanced Studies, Lucca (2009)"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communication Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"2","key":"1_CR47","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Math. Struct. in Comput. Sci.\u00a02(2), 119\u2013141 (1992)","journal-title":"Math. Struct. in Comput. Sci."},{"key":"1_CR48","volume-title":"Communicating and Mobile Systems: The pi-calculus","author":"R. Milner","year":"1997","unstructured":"Milner, R.: Communicating and Mobile Systems: The pi-calculus. Cambridge University Press, Cambridge (1997)"},{"issue":"1","key":"1_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inform. and Comput."},{"issue":"1","key":"1_CR50","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling\u00a06(1), 83\u2013110 (2007); A preliminary version of this paper appeared in the Lecture Notes for NATO summer school, held at Marktoberdorf in August 2004","journal-title":"Journal of Software and Systems Modeling"},{"key":"1_CR51","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (1981)"},{"key":"1_CR52","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: The origins of structural operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 3\u201315 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR53","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR54","first-page":"229","volume":"86","author":"L. Rosaz","year":"2005","unstructured":"Rosaz, L.: Puzzle corner #70: The 50 prisoners. Bulletin of the European Association for Theoretical Computer Science (EATCS)\u00a086, 229 (2005)","journal-title":"Bulletin of the European Association for Theoretical Computer Science (EATCS)"},{"key":"1_CR55","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. Ph.D thesis, LFCS, University of Edinburgh, CST-99-93 (also published as ECS-LFCS-93-266) (1993)"},{"key":"1_CR56","volume-title":"The pi-calculus: a theory of mobile processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The pi-calculus: a theory of mobile processes. Cambridge University Press, Cambridge (2001)"},{"key":"1_CR57","unstructured":"Sensoria Project. Software Engineering for Service-Oriented Overlay Computers. Public Web Site, \n                  \n                    http:\/\/sensoria.fast.de\/"},{"key":"1_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-642-01918-0_4","volume-title":"SFM 2009","author":"V. Vasconcelos","year":"2009","unstructured":"Vasconcelos, V.: Fundamentals of session types. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 158\u2013186. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"1_CR59","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I. Wehrman","year":"2008","unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of Orc. Theoretical Computer Science\u00a0402(2-3), 234\u2013248 (2008)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01918-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T01:28:23Z","timestamp":1552008503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01918-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019173","9783642019180"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01918-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}