{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:39Z","timestamp":1761597039987},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672623"},{"type":"electronic","value":"9783540464259"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46425-5_20","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:00:14Z","timestamp":1185919214000},"page":"305-319","source":"Crossref","is-referenced-by-count":9,"title":["A Kleene Analysis of Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proc. FoSSaCS\u201998","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli, A. D. Gordon: Mobile ambients. In Proc. FoSSaCS\u201998, vol. 1378 of LNCS, pages 140\u2013155, Springer, 1998."},{"doi-asserted-by":"crossref","unstructured":"L. Cardelli, A. D. Gordon: Types for mobile ambients. In Proc. POPL\u201999, ACM Press, 1999.","key":"20_CR2","DOI":"10.1145\/292540.292550"},{"key":"20_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ICALP\u201999","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli, G. Ghelli, A. D. Gordon: Mobility types for mobile ambients. In Proc. ICALP\u201999, LNCS, Springer, 1999."},{"doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon: Anytime, Anywhere: Modal Logics for Mobile Ambients. In Proc. POPL\u201900, ACM Press, 2000.","key":"20_CR4","DOI":"10.1145\/325694.325742"},{"doi-asserted-by":"crossref","unstructured":"D.R. Chase, M. Wegman, and F. Zadeck. Analysis of pointers and structures. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 296\u2013310, ACM Press, 1990.","key":"20_CR5","DOI":"10.1145\/93542.93585"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269\u2013282, ACM Press, 1979.","key":"20_CR6","DOI":"10.1145\/567752.567778"},{"doi-asserted-by":"crossref","unstructured":"R.L. Epstein. The Semantic Foundations of Logic, Volume 1: Propositional Logics. Kluwer Academic Publishers, 1990.","key":"20_CR7","DOI":"10.1007\/978-94-009-0525-2"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"M.L. Ginsberg. Multivalued logics: A uniform approach to inference in artificial intelligence. In Comp. Intell., 4:265\u2013316, 1988.","journal-title":"Comp. Intell."},{"key":"20_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. SAS\u201999","author":"R. R. Hansen","year":"1999","unstructured":"R. R. Hansen, J. G. Jensen, F. Nielson, H. Riis Nielson: Abstract Interpretation of Mobile Ambients. In Proc. SAS\u201999, vol. 1694 of LNCS, Springer, 1999."},{"doi-asserted-by":"crossref","unstructured":"H. Hoddes. Three-Valued Logics: An Introduction, A Comparison of Various Logical Lexica, and Some Philosophical Remarks. In Annals of Pure and Applied Logic, 1989.","key":"20_CR10","DOI":"10.1016\/0168-0072(80)90001-9"},{"unstructured":"S.C. Kleene. Introduction to Metamathematics. North-Holland, second edition, 1987.","key":"20_CR11"},{"unstructured":"T. Lev-Ami: TVLA: a framework for Kleene based static analysis. M.Sc. thesis, Tel Aviv University, January 2000.","key":"20_CR12"},{"doi-asserted-by":"crossref","unstructured":"F. Levi and D. Sangiorgi: Controlling Interference in Ambients. In Proc. POPL\u201900, ACM Press, 2000.","key":"20_CR13","DOI":"10.1145\/325694.325741"},{"key":"20_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61055-3","volume-title":"Proc. SAS\u201996","author":"F. Nielson","year":"1996","unstructured":"F. Nielson: Semantics-Directed Program Analysis: A Tool-Maker\u2019s Perspective. In Proc. SAS\u201996, vol. 1145 of LNCS, Springer, 1996."},{"doi-asserted-by":"crossref","unstructured":"F. Nielson, H. Riis Nielson, C. L. Hankin: Principles of Program Analysis, Springer, 1999.","key":"20_CR15","DOI":"10.1007\/978-3-662-03811-6"},{"key":"20_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48236-9","volume-title":"Proc. CONCUR\u201999","author":"F. Nielson","year":"1999","unstructured":"F. Nielson, H. Riis Nielson, R. R. Hansen, J. G. Jensen: Validating Firewalls in Mobile Ambients. In Proc. CONCUR\u201999, vol. 1664 of LNCS, Springer, 1999."},{"doi-asserted-by":"crossref","unstructured":"F. Nielson, H. Riis Nielson: Shape Analysis for Mobile Ambients. In Proc. POPL\u201900, ACM Press, 2000.","key":"20_CR17","DOI":"10.1145\/325694.325711"},{"doi-asserted-by":"crossref","unstructured":"M. Sagiv, T. Reps, R. Wilhelm: Parametric Shape Analysis via 3-Valued Logic. In Proc. POPL\u201999, ACM Press, 1999.","key":"20_CR18","DOI":"10.1145\/292540.292552"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46425-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:29:06Z","timestamp":1556713746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46425-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672623","9783540464259"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46425-5_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}