{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:10:28Z","timestamp":1725484228818},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438649"},{"type":"electronic","value":"9783540454656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45465-9_51","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T21:12:57Z","timestamp":1180213977000},"page":"597-610","source":"Crossref","is-referenced-by-count":43,"title":["A Spatial Logic for Querying Graphs"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Ghelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,25]]},"reference":[{"key":"51_CR1","unstructured":"S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. Morgan Kaufmann, 2000."},{"key":"51_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1145\/233269.233368","volume-title":"SIGMOD","author":"P. Buneman","year":"1996","unstructured":"P. Buneman, S. Davidson, G. Hillebrand, and D. Suciu. A query language and optimization techniques for unstructured data. In SIGMOD, LNCS 2044, pages 505\u2013515, 1996."},{"key":"51_CR3","unstructured":"L. Caires. A Model for Declarative Programming and Specification with Concurrency and Mobility. PhD thesis, University of Lisbon, 1999."},{"key":"51_CR4","series-title":"Lect Notes Comput Sci","volume-title":"TACS","author":"L. Caires","year":"2001","unstructured":"L. Caires and L. Cardelli. A spatial logic for concurrency (part 1). In TACS, LNCS 2215. Springer, 2001. Journal paper to be in Information and Comp."},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In POPL. ACM, 2000.","DOI":"10.1145\/325694.325742"},{"key":"51_CR6","series-title":"Lect Notes Comput Sci","volume-title":"ESOP\/ETAPS","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli and G. Ghelli. A query language based on the ambient logic. In ESOP\/ETAPS, LNCS 2028. Springer, 2001."},{"key":"51_CR7","series-title":"Lect Notes Comput Sci","volume-title":"TLCA","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli and A. Gordon. Logical properties of name restriction. In TLCA, LNCS 2044. Springer, 2001."},{"key":"51_CR8","doi-asserted-by":"crossref","unstructured":"L. Cardelli, P. Gardner, and G. Ghelli. A spatial logic for querying graphs. Fuller version found at http:\/\/www.doc.ic.ac.uk\/~pg , 2001.","DOI":"10.1007\/3-540-45465-9_51"},{"key":"51_CR9","doi-asserted-by":"crossref","unstructured":"M. Consens and A. Mendelzon. Graphlog: a visual formalism for real life recursion. In Principles of Database Systems, pages 404\u2013416. ACM, 1990.","DOI":"10.1145\/298514.298591"},{"key":"51_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0304-3975(94)90206-2","volume":"122","author":"A. Corradini","year":"1994","unstructured":"A. Corradini, U. Montanari, and F. Rossi. An abstract machine for concurrent modular systems: Charm. TCS, 122:165\u2013200, 1994.","journal-title":"TCS"},{"key":"51_CR11","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1142\/9789812384720_0005","volume":"1","author":"B. Courcelle","year":"1997","unstructured":"Bruno Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. Graph grammars and computing by graph transformations, 1:313\u2013400, 1997.","journal-title":"Graph grammars and computing by graph transformations"},{"key":"51_CR12","doi-asserted-by":"crossref","unstructured":"M. Fernandez, D. Florescu, J. Kang, A. Levy, and D. Suciu. Strudel: A web-site management system. In SIGMOD Management of Data, 1997.","DOI":"10.1145\/253260.253403"},{"key":"51_CR13","series-title":"Lect Notes Comput Sci","volume-title":"MFCS","author":"P. Gardner","year":"2000","unstructured":"P. Gardner and L. Wischik. Explicit fusions. MFCS, LNCS 893, 2000. Journal version submitted to Theoretical Computer Science."},{"key":"51_CR14","doi-asserted-by":"crossref","unstructured":"H. Hosoya and B. Pierce. Regular expression pattern matching for xml. In POPL.ACM, 2001.","DOI":"10.1145\/360204.360209"},{"key":"51_CR15","doi-asserted-by":"crossref","unstructured":"S. Ishtiaq and P. O\u2019Hearn. Bi as an assertion language for mutable data structures. In POPL, 664. ACM, 2001.","DOI":"10.1145\/360204.375719"},{"issue":"2","key":"51_CR16","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P. O\u2019Hearn","year":"1999","unstructured":"P. O\u2019Hearn and D. Pym. The logic of bunched implications. Bulletin of Symbolic Logic, 5(2):215\u2013244, 1999.","journal-title":"Bulletin of Symbolic Logic"},{"key":"51_CR17","unstructured":"J.C. Reynolds. Intuitionistic reasoning about shared mutable data structure. Millenial Perspectives in Computer Science, Palgrove, 2000."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45465-9_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:06:07Z","timestamp":1556435167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45465-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438649","9783540454656"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45465-9_51","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}