A Typed Calculus for Querying Distributed XML Documents

DOI10.1007/978-3-540-75336-0_11zbMath1211.68175OpenAlexW1503236983MaRDI QIDQ3608459

Lucia Acciai, Silvano Dal Zilio, Michele Boreale

Publication date: 5 March 2009

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75336-0_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Information storage and retrieval of data (68P20) Internet topics (68M11)

Related Items (1)

A Typed Calculus for Querying Distributed XML Documents

Uses Software

• PiDuce
• XDuce

Cites Work

• Modelling dynamic web data
• Regular expression types for XML
• A Typed Calculus for Querying Distributed XML Documents
• A theory of weak bisimulation for Core CML
• Regular expression pattern matching for XML
• Database Programming Languages
• Unnamed Item
• Unnamed Item

This page was built for publication: A Typed Calculus for Querying Distributed XML Documents