@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},
}