Venue

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

Publication Year

2004

Authors

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.