{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:56Z","timestamp":1725486056822},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414810"},{"type":"electronic","value":"9783540445432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44543-9_1","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:23:52Z","timestamp":1181240632000},"page":"1-16","source":"Crossref","is-referenced-by-count":4,"title":["Semistructured Computation"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,4,13]]},"reference":[{"key":"1_CR1","volume-title":"Data on the Web","author":"S. Abiteboul","year":"2000","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. Morgan Kaufmann Publishers, San Francisco, 2000."},{"key":"1_CR2","unstructured":"Buneman, P., Pierce, B.: Union Types for Semistructured Data. Proceedings of the International Database Programming Languages Workshop, 1999. Also available as University of Pennsylvania Dept. of CIS technical report MS-CIS-99-09."},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming: Security Issues for Mobile and Distributed Objects","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. Jan Vitek and Christian Jensen, Editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects. LNCS. 1603, 51\u201394, Springer, 1999."},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"ICALP\u201999","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility Types for Mobile Ambients. ICALP\u201999. LNCS 1644, 230\u2013239, Springer, 1999."},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"FoSSaCS\u201998","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. FoSSaCS\u201998, LNCS 1378, 140\u2013155, Springer, 1998."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. POPL\u201999, 79\u201392, 1999.","DOI":"10.1145\/292540.292550"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, Anywhere. Modal Logics for Mobile Ambients. Proceedings POPL\u201900, 365-377, 2000.","DOI":"10.1145\/325694.325742"},{"key":"1_CR8","unstructured":"Cardelli, L., Ghelli, G.: A Query Language for Semistructured Data Based on the Ambient Logic. To appear."},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0304-3975(95)00118-2","volume":"153","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J.: A Multiset Semantics for the \u03c0-calculus with Replication. TCS 153, 65\u201394, 1996.","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","Research Issues in Structured and Semistructured Database Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44543-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T07:04:00Z","timestamp":1550387040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44543-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414810","9783540445432"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44543-9_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}