{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:37Z","timestamp":1725558637399},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_21","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:35:52Z","timestamp":1277836552000},"page":"487-507","source":"Crossref","is-referenced-by-count":6,"title":["Making Components Move: A Separation of Concerns Approach"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Pattinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F. Arbab","year":"2003","unstructured":"Arbab, F.: Abstract behaviour types: A foundation model for components and their composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 33\u201370. Springer, Heidelberg (2003)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45500-0_1","volume-title":"Theoretical Aspects of Computer Software","author":"L. Caires","year":"2001","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency (part i). In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 1\u201337. Springer, Heidelberg (2001)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45694-5_15","volume-title":"CONCUR 2002 - Concurrency Theory","author":"L. Caires","year":"2002","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency (part i). In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 209. Springer, Heidelberg (2002)"},{"key":"21_CR4","first-page":"365","volume-title":"Proc. POPL 2000","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Anytime, anywhere: Modal logics for mobile ambients. In: Proc. POPL 2000, pp. 365\u2013377. ACM, New York (2000)"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comp. Sci.\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theor. Comp. Sci."},{"key":"21_CR6","first-page":"214","volume-title":"14th IEEE Symposium on Logic in Computer Science (LICS 1999)","author":"D. Gabbay","year":"1999","unstructured":"Gabbay, D., Pitts, A.: A new approach to abstract syntax involving binders. In: 14th IEEE Symposium on Logic in Computer Science (LICS 1999), pp. 214\u2013224. IEEE Computer Society, Los Alamitos (1999)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Non-determinism and Concurrency. Journal of the ACM\u00a032, 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"key":"21_CR8","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"2","key":"21_CR9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-1992-16206","volume":"16","author":"U. Montanari","year":"1992","unstructured":"Montanari, U., Sassone, V.: Dynamic congruence vs. progressing bisimulation for CCS. Fundamenta Informaticae\u00a016(2), 171\u2013199 (1992)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"21_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Trans. Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Engineering"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-540-39656-7_14","volume-title":"Formal Methods for Components and Objects","author":"O. Nierstrasz","year":"2003","unstructured":"Nierstrasz, O., Achermann, F.: A calculus for modelling software components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 339\u2013360. Springer, Heidelberg (2003)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/LICS.1998.705654","volume-title":"Thirteenth Annual Symposium on Logic in Computer Science (LICS 1998)","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Thirteenth Annual Symposium on Logic in Computer Science (LICS 1998), pp. 176\u2013185. IEEE, IEEE Computer Society, Los Alamitos (1998)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From \u03c0-calculus to Higher-Order \u03c0-calculus \u2014 and back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 151\u2013166. Springer, Heidelberg (1993)"},{"key":"21_CR14","first-page":"4","volume-title":"Proc. POPL 2001","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D.: Extensionality and intensionality of the ambient logics. In: Proc. POPL 2001, pp. 4\u201313. ACM, New York (2001)"},{"key":"21_CR15","volume-title":"17th IEEE Symposium on Logic in Computer Science (LICS 2002)","author":"D. Sangiorgi","year":"2002","unstructured":"Sangiorgi, D.: Separability, expressiveness, and decidability in the ambient logic. In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002). IEEE Computer Society, Los Alamitos (2002)"},{"key":"21_CR16","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Vitek, J., Castagna, G.: Seal: A framework for secure mobile computation. Internet Programming (1999)","DOI":"10.1007\/3-540-48749-2"},{"issue":"2","key":"21_CR18","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/4434.846193","volume":"8","author":"P. Wojciechowski","year":"2000","unstructured":"Wojciechowski, P., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. IEEE Concurrency\u00a08(2), 42\u201352 (2000)","journal-title":"IEEE Concurrency"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T10:04:47Z","timestamp":1635588287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}