Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
A Typed Calculus for Querying Distributed XML Documents @INPROCEEDINGS{ABDZ06,
title = {{A Typed Calculus for Querying Distributed XML Documents}},
author = {{Lucia} {Acciai} and {Michele} {Boreale} and {Silvano} {Dal Zilio}},
booktitle = {Proc. of the 2nd symposium on Trustworthy Global Computing (TGC'06)},
editor = {U. Montanari and D. Sannella and R. Bruni },
pages = {167-182},
abstract = {We study the problems related to querying large, distributed XML documents. Our
proposal takes the form of a new process calculus in which XML data are
processes that can be queried by means of concurrent pattern-matching
expressions. What we achieve is a functional, strongly-typed programming model
based on three main ingredients: an asynchronous process calculus that draws
features from pi-calculus and concurrent-ML; a model where both documents and
expressions are represented as processes, and where evaluation is represented
as a parallel composition of the two; a static type system based on regular
expression types.
},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4661},
year = {2007},
url = {http://rap.dsi.unifi.it/sensoria/files/TGC06.pdf},
invited = {N},
keywords = {distribution, process calculi, type system, xml querying},
partner = {DSIUF, LIF},
status = {public},
}
|