Behavioural Equivalences for Dynamic Web Data
Sergio Maffeis, Philippa Anne Gardner · Kluwer Academic Publishers eBooks · 2006
We study behavioural equivalences for dynamic web data in X dπ , a model for reasoning about behaviour found in (for example)dynamic web page programming, applet interaction, and web-service orchestration. X dπ is based on an idealised model of semistructured data, and an extension of the π - calculus with locations and operations for interacting with data.The equivalences are non-standard due to the integration of data and processes, and the presence of locations. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.