Behavioural Equivalences for Dynamic Web Data

Authors

  • Sergio Maffeis
  • Philippa Gardner

Abstract

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.

Venue

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

Publication Date

Aug 2004

Identifiers

Source Materials