{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:48Z","timestamp":1725549888675},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291312"},{"type":"electronic","value":"9783540319399"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561163_5","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:54:31Z","timestamp":1127832871000},"page":"95-119","source":"Crossref","is-referenced-by-count":5,"title":["MoMo: A Modal Logic for Reasoning About Mobility"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., Bono, V., De Nicola, R., Ferrari, G.-L., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The klaim project: Theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44685-0_8","volume-title":"CONCUR 2001 - Concurrency Theory","author":"M. Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 102\u2013120. Springer, Heidelberg (2001)"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0890-5401(03)00137-8","volume":"186","author":"L. Caires","year":"2003","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency (part i). Inf. Comput.\u00a0186(2), 194\u2013235 (2003)","journal-title":"Inf. Comput."},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.tcs.2003.10.041","volume":"322","author":"L. Caires","year":"2004","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency - ii. Theor. Comput. Sci.\u00a0322(3), 517\u2013565 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"5_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.D.: Mobile ambients. Theor. Comput. Sci.\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Cardelli, L., Gordon, A.D.: Ambient logic. Mathematical Structures in Computer Science (2005) (to appear)","key":"5_CR6"},{"issue":"10","key":"5_CR7","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM Technical Correspondence\u00a032(10), 444\u2013458 (1989)","journal-title":"Communications of the ACM Technical Correspondence"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44685-0_7","volume-title":"CONCUR 2001 - Concurrency Theory","author":"G. Castagna","year":"2001","unstructured":"Castagna, G., Ghelli, G., Nardelli, F.Z.: Typing mobility in the seal calculus. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 82\u2013101. Springer, Heidelberg (2001)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"G. Castagna","year":"1999","unstructured":"Castagna, G., Vitek, J.: Seal: A framework for secure mobile computations. In: Bal, H., Belkhouche, B., Cardelli, L. (eds.) ICCL-WS 1998. LNCS, vol.\u00a01686, pp. 47\u201377. Springer, Heidelberg (1999)"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1996.0072","volume":"129","author":"M. Dam","year":"1996","unstructured":"Dam, M.: Model checking mobile processes. Journal of Information and Computation\u00a0129(1), 35\u201351 (1996)","journal-title":"Journal of Information and Computation"},{"issue":"5","key":"5_CR11","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 Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"De Nicola, R., Loreti, M.: A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic\u00a05(1) (2004)","key":"5_CR12","DOI":"10.1145\/963927.963930"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1014530313153","volume":"9","author":"G. Ferrari","year":"2002","unstructured":"Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mark, a reasoning kit for mobility. Automated Software Engineering\u00a09, 137\u2013150 (2002)","journal-title":"Automated Software Engineering"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.J., Maranget, 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)"},{"doi-asserted-by":"crossref","unstructured":"Gabbay, M., Pitts, A.M.: A new approach to abstract syntax involving binders. In: LICS, pp. 214\u2013224 (1999)","key":"5_CR15","DOI":"10.1109\/LICS.1999.782617"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-51285-3_30","volume-title":"PARLE \u201989 - Parallel Architectures and Languages Europe","author":"D. Gelernter","year":"1989","unstructured":"Gelernter, D.: Multiple Tuple Spaces in Linda. In: Odijk, E., Syre, J.-C., Rem, M. (eds.) PARLE 1989. LNCS, vol.\u00a0365, pp. 20\u201327. Springer, Heidelberg (1989)"},{"issue":"1","key":"5_CR18","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 nondeterminism and concurrency. Journal of the ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"issue":"1\u20132","key":"5_CR19","first-page":"693","volume":"266","author":"M. Hennessy","year":"2001","unstructured":"Hennessy, M., Riely, J.: Distributed processes and location failures. Theoretical Computer Science\u00a0266(1\u20132), 693\u2013735 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173(1), 82\u2013120 (2002)","journal-title":"Information and Computation"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/32.666824","volume":"24","author":"P. McCann","year":"1998","unstructured":"McCann, P., Roman, G.-C.: Compositional programming abstraction for mobile computing. IEEE Transactions on Software Engineering\u00a024(2), 97\u2013110 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science\u00a0114, 149\u2013171 (1993)","journal-title":"Theoretical Computer Science"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"40","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A Calculus of Mobile Processes, I and II. Information and Computation\u00a040, 1\u201340, 41\u201377 (1992)","journal-title":"Information and Computation"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/LICS.2002.1029817","volume-title":"Proceedings of 17th IEEE Symposium on Logic in Computer Science (LICS 2002)","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: Proceedings of 17th IEEE Symposium on Logic in Computer Science (LICS 2002), Copenhagen, Denmark, July 22-25, 2002, pp. 55\u201374. IEEE Computer Society, Los Alamitos (2002)"},{"key":"5_CR25","first-page":"2","volume-title":"ASA\/MA","author":"P.T. Wojciechowski","year":"1999","unstructured":"Wojciechowski, P.T., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. In: ASA\/MA, pp. 2\u201312. IEEE Computer Society, Los Alamitos (1999)"}],"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\/11561163_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T21:07:45Z","timestamp":1552424865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561163_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291312","9783540319399"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11561163_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}