Behavioural Equivalences for Dynamic Web Data

1. Serge Abiteboul, Angela Bonifati, Grégory Cobena, Ioana Manolescu, and Tova Milo. Dynamic XML documents with distribution and replication. In Proceedings of SIG-MOD’03, 2003.

   Google Scholar 

2. Abiteboul, S. et al. Active XML primer. INRIA, GEMO Report number 275.

   Google Scholar 

3. 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.

   Google Scholar 

4. 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.

   Google Scholar 

5. Marco Carbone and Sergio Maffeis. On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing, 10(2):70–98, 2003.

   MathSciNet  Google Scholar 

6. Luca Cardelli and Giorgio Ghelli. A query language based on the ambient logic. In Proceedings of ESOP’01, volume 2028 of LNCS, pages 1–22. Springer, 2001.

   Google Scholar 

7. Philippa Gardner and Sergio Maffeis. Modeling dynamic Web data. In Georg Lausen and Dan Suciu, editors, Proc. of DBPL’03 LNCS, 2003.

   Google Scholar 

8. 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–29, 2002

   Google Scholar 

9. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. In Proceedings of HLCL’ 98, volume 16.3 of ENTCS, pages 3–17. Elsevier, 1998.

   Google Scholar 

10. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings of ECOOP, volume 512 of LNCS, pages 133–147, Berlin, Heidelberg, New York, Tokyo, 1991. Springer-Verlag.

    Google Scholar 

11. K. Honda and M. Tokoro. On asynchronous communication semantics. LNCS 612: 21–51, 1992.

    MathSciNet  Google Scholar 

12. Kohei Honda and Nobuko Yoshida. On reduction-based process semantics. Theoretical Computer Science, 151(2):437–486, 1995.

    Article  MathSciNet  Google Scholar 

13. Alan Jeffrey and Julian Rathke. Contextual equivalence for higher-order pi-calculus revisited. Computer Science Report 04/2002, University of Sussex,2002.

    Google Scholar 

14. Alfons Kemper and Christian Wiesner. Hyperqueries: Dynamic distributed query processing on the internet. In Proceedings of VLDB’ 01, pages 551–560, 2001.

    Google Scholar 

15. 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.

16. World Wide Web Consortium. XML Path Language (XPath) Version 1.0. available at http://w3.org/TR/xpath.

17. R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1–40, 41–77, September 1992.

    MathSciNet  Google Scholar 

18. Arnaud Sahuguet, Benjamin Pierce, and Val Tannen. Distributed Query Optimization: Can Mobile Agents Help? Unpublished draft.

    Google Scholar 

19. Arnaud Sahuguet and Val Tannen. Resource Sharing Through Query Process Migration. University of Pennsylvania Technical Report MS-CIS-01-10, 2001.

    Google Scholar 

20. D. Sangiorgi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.

    Google Scholar 

21. D. Sangirogi. Expressing mobility in process algebras: First-order and higher-order paradigms. PhD thesis, University of Edinburgh,1992.

    Google Scholar 

Download references