10
IRUS TotalDownloads
Altmetric
Modelling dynamic web data
File | Description | Size | Format | |
---|---|---|---|---|
DTR03-14.pdf | Published version | 397.1 kB | Adobe PDF | View/Open |
Title: | Modelling dynamic web data |
Authors: | Gardner, P Maffeis, S |
Item Type: | Report |
Abstract: | We introduce Xd¼, a peer-to-peer model for reasoning about the dynamic behaviour of web data. It is based on an idealised model of semistructured data, and an extension of the ¼-calculus with process mobility and with operations for interacting with data. Our model can be used to reason about behaviour found in, for example, dynamic web page programming, applet interaction, and service orchestration. We study behavioural equivalences for Xd¼, motivated by examples. |
Issue Date: | Oct-2003 |
URI: | http://hdl.handle.net/10044/1/95640 |
DOI: | https://doi.org/10.25561/95640 |
Publisher: | Department of Computing, Imperial College London |
Start Page: | 1 |
End Page: | 36 |
Journal / Book Title: | Departmental Technical Report: 03/14 |
Copyright Statement: | © 2003 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) |
Publication Status: | Published |
Article Number: | 03/14 |
Appears in Collections: | Computing Computing Technical Reports |
This item is licensed under a Creative Commons License