Behavioural Equivalences for Dynamic Web Data


  • Sergio Maffeis
  • Philippa Gardner


We study behavioural equivalences for dynamic web data in Xd\pi, a model for reasoning about behaviour found in (for example) dynamic web page programming, applet interaction, and web-service orchestration. Xd\pi is based on an idealised model of semistructured data, and an extension of the 7r-calculus with locations and operations for interacting with data. The equivalences are nonstandard due to the integration of data and processes, and the presence of locations.


Proceedings of 3rd International Conference on Theoretical Computer Science (TCS’04), pp. 535–548

Publication Date

Aug 2004


Source Materials