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