{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:24Z","timestamp":1725460044232},"publisher-location":"Boston","reference-count":21,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_41","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"535-548","source":"Crossref","is-referenced-by-count":0,"title":["Behavioural Equivalences for Dynamic Web Data"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Maffeis","sequence":"first","affiliation":[]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"Serge Abiteboul, Angela Bonifati, Gr\u00e9gory Cobena, Ioana Manolescu, and Tova Milo. Dynamic XML documents with distribution and replication. In Proceedings of SIG-MOD\u201903, 2003.","DOI":"10.1145\/872819.872821"},{"key":"41_CR2","unstructured":"Abiteboul, S. et al. Active XML primer. INRIA, GEMO Report number 275."},{"key":"41_CR3","unstructured":"G. Bierman and P. Sewell. Iota: a concurrent XML scripting language with application to Home Area Networks. University of Cambridge Technical Report 557, jan 2003."},{"key":"41_CR4","unstructured":"Reinhard Braumandl, Markus Keidl, Alfons Kemper, Donald Kossmann, Alexander Kreutz, Stefan Seltzsam, and Konrad Stocker. Objectglobe: Ubiquitous query processing on the internet. To appear in the VLDB Journal:Special Issue on E-Services, 2002."},{"issue":"2","key":"41_CR5","first-page":"70","volume":"10","author":"M. Carbone","year":"2003","unstructured":"Marco Carbone and Sergio Maffeis. On the expressive power of polyadic synchronisation in \u03c0-calculus. Nordic Journal of Computing, 10(2):70\u201398, 2003.","journal-title":"Nordic Journal of Computing"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Giorgio Ghelli. A query language based on the ambient logic. In Proceedings of ESOP\u201901, volume 2028 of LNCS, pages 1\u201322. Springer, 2001.","DOI":"10.1007\/3-540-45309-1_1"},{"key":"41_CR7","unstructured":"Philippa Gardner and Sergio Maffeis. Modeling dynamic Web data. In Georg Lausen and Dan Suciu, editors, Proc. of DBPL\u201903 LNCS, 2003."},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Andrew Gordon and Riccardo Pucella. Validating a web service security abstraction by typing. In Proceedings of the 2002 ACM Workshop on XML Security, pages 18\u201329, 2002","DOI":"10.1145\/764796.764797"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"M. Hennessy and J. Riely. Resource access control in systems of mobile agents. In Proceedings of HLCL\u2019 98, volume 16.3 of ENTCS, pages 3\u201317. Elsevier, 1998.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings of ECOOP, volume 512 of LNCS, pages 133\u2013147, Berlin, Heidelberg, New York, Tokyo, 1991. Springer-Verlag.","DOI":"10.1007\/BFb0057019"},{"key":"41_CR11","first-page":"21","volume":"612","author":"K. Honda","year":"1992","unstructured":"K. Honda and M. Tokoro. On asynchronous communication semantics. LNCS 612: 21\u201351, 1992.","journal-title":"LNCS"},{"issue":"2","key":"41_CR12","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"151","author":"K. Honda","year":"1995","unstructured":"Kohei Honda and Nobuko Yoshida. On reduction-based process semantics. Theoretical Computer Science, 151(2):437\u2013486, 1995.","journal-title":"Theoretical Computer Science"},{"key":"41_CR13","unstructured":"Alan Jeffrey and Julian Rathke. Contextual equivalence for higher-order pi-calculus revisited. Computer Science Report 04\/2002, University of Sussex,2002."},{"key":"41_CR14","unstructured":"Alfons Kemper and Christian Wiesner. Hyperqueries: Dynamic distributed query processing on the internet. In Proceedings of VLDB\u2019 01, pages 551\u2013560, 2001."},{"key":"41_CR15","unstructured":"Sergio Maffeis and Philippa Gardner. Behavioural equivalences for dynamic web data. Draft available as http:\/\/www.doc.ic.ac.uk\/~maffeis\/corexdpilong.pdf . Forthcoming Imperial College London Technical Report, 2004."},{"key":"41_CR16","unstructured":"World Wide Web Consortium. XML Path Language (XPath) Version 1.0. available at http:\/\/w3.org\/TR\/xpath ."},{"issue":"1","key":"41_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1\u201340, 41\u201377, September 1992.","journal-title":"Information and Computation"},{"key":"41_CR18","unstructured":"Arnaud Sahuguet, Benjamin Pierce, and Val Tannen. Distributed Query Optimization: Can Mobile Agents Help? Unpublished draft."},{"key":"41_CR19","unstructured":"Arnaud Sahuguet and Val Tannen. Resource Sharing Through Query Process Migration. University of Pennsylvania Technical Report MS-CIS-01-10, 2001."},{"key":"41_CR20","unstructured":"D. Sangiorgi and D. Walker. The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001."},{"key":"41_CR21","unstructured":"D. Sangirogi. Expressing mobility in process algebras: First-order and higher-order paradigms. PhD thesis, University of Edinburgh,1992."}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:21Z","timestamp":1619555301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_41","relation":{},"subject":[]}}