A Typed Calculus for Querying Distributed XML Documents

DOI10.1007/978-3-540-75336-0_11zbMATH Open1211.68175OpenAlexW1503236983MaRDI QIDQ3608459FDOQ3608459

Authors: 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

Recommendations

• XPi: a typed process calculus for XML messaging
• Distributed XML design
• A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches
• Modelling dynamic web data
• Database Programming Languages

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A theory of weak bisimulation for Core CML
• Regular expression types for XML
• Regular expression pattern matching for XML
• Database Programming Languages
• Title not available (Why is that?)
• Modelling dynamic web data
• A Typed Calculus for Querying Distributed XML Documents

Cited In (8)

• XPi: a typed process calculus for XML messaging
• Behavioural equivalences for dynamic web data
• Static and dynamic semantics of NoSQL languages
• A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches
• Distributed XML design
• A Calculus and Algebra for Distributed Data Management
• On the equivalence of distributed systems with queries and communication
• A Typed Calculus for Querying Distributed XML Documents

Uses Software

• PiDuce
• XDuce

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608459)