Behavioural equivalences for dynamic web data

DOI10.1016/J.JLAP.2007.06.004MaRDI QIDQ2474049zbMATH OpenOpenAlexFDO

Authors Sergio Maffeis, Philippa Gardner

Publication date 5 March 2008

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2007.06.004

zbMATH Keywords

\(\pi \)-calculusdistributed query patternsdynamic web dataprocess choreographysemi-structured dataweb servicesXML

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data structures (68P05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2163044
• Modelling dynamic web data
• A Typed Calculus for Querying Distributed XML Documents
• On the equivalence of distributed systems with queries and communication
• Trustworthy Global Computing

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. I
• A new approach to abstract syntax with variable binding
• A theory of bisimulation for the -calculus
• Barbed bisimulation
• Behavioral equivalence in the polymorphic pi-calculus
• Contextual equivalence for higher-order pi-calculus revisited
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2059568 (Why is no real title available?)
• scientific article; zbMATH DE number 2154399 (Why is no real title available?)
• scientific article; zbMATH DE number 2163044 (Why is no real title available?)
• Modelling dynamic web data
• Nomadic Pict: correct communication infrastructure for mobile computation
• On reduction-based process semantics
• Programming Languages and Systems
• Resource access control in systems of mobile agents
• Semantic subtyping for the pi-calculus
• Strong normalisation in the \(\pi\)-calculus
• The -calculus: A theory of mobile processes
• Towards a behavioural theory of access and mobility control in distributed systems
• XPi: a typed process calculus for XML messaging

Cited in

(4)

• Modelling dynamic web data
• Types for role-based access control of dynamic web data
• On the equivalence of distributed systems with queries and communication
• scientific article; zbMATH DE number 2163044 (Why is no real title available?)

Describes a project that uses

Uses Software

• PiDuce
• MetaOCaml
• XPi
• SafeDpi
• XDuce
• XPath

This page was built for publication: Behavioural equivalences for dynamic web data

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