Imperial College London
Portrait Picture

DrSergioMaffeis

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8390sergio.maffeis Website

 
 
//

Location

 

441Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Gardner:2003:10.25561/95640,
author = {Gardner, P and Maffeis, S},
booktitle = {Departmental Technical Report: 03/14},
doi = {10.25561/95640},
publisher = {Department of Computing, Imperial College London},
title = {Modelling dynamic web data},
url = {http://dx.doi.org/10.25561/95640},
year = {2003}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - We introduce Xd¼, a peer-to-peer model for reasoning about the dynamicbehaviour of web data. It is based on an idealised model of semistructureddata, and an extension of the ¼-calculus with process mobilityand with operations for interacting with data. Our model can be usedto reason about behaviour found in, for example, dynamic web page programming,applet interaction, and service orchestration. We study behaviouralequivalences for Xd¼, motivated by examples.
AU  - Gardner,P
AU  - Maffeis,S
DO  - 10.25561/95640
PB  - Department of Computing, Imperial College London
PY  - 2003///
TI  - Modelling dynamic web data
T1  - Departmental Technical Report: 03/14
UR  - http://dx.doi.org/10.25561/95640
UR  - http://hdl.handle.net/10044/1/95640
ER  -
Download