Skip to main content
Conference ProceedingsOPEN ACCESS

Behavioural equivalences for dynamic web data

IFIP Advances in Information and Communication Technology (2004) 155 535-548
DOI: 10.1007/1-4020-8141-3_41
1Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We study behavioural equivalences for dynamic web data in Xdπ, a model for reasoning about behaviour found in (for example) dynamic web page programming, applet interaction, and web-service orchestration. Xdπ is based on an idealised model of semistructured data, and an extension of the π-calculas 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. © 2004 Springer Science + Business Media, Inc.

Cite

CITATION STYLE

APA

Maffeis, S., & Gardner, P. (2004). Behavioural equivalences for dynamic web data. In IFIP Advances in Information and Communication Technology (Vol. 155, pp. 535–548). Springer New York LLC. https://doi.org/10.1007/1-4020-8141-3_41

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free