A Typed Calculus for Querying Distributed XML Documents

DOI10.1007/978-3-540-75336-0_11MaRDI QIDQ3608459zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A Typed Calculus for Querying Distributed XML Documents
• A theory of weak bisimulation for Core CML
• Database Programming Languages
• Modelling dynamic web data
• Regular expression pattern matching for XML
• Regular expression types for XML

Cited in

(8)

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

Describes a project that uses

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)