Modelling dynamic web data

DOI10.1016/j.tcs.2005.06.006zbMath1077.68004OpenAlexW1997098099MaRDI QIDQ2566029

Sergio Maffeis, Philippa Gardner

Publication date: 22 September 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.006

zbMATH Keywords

XML\(\pi\)-calculusWeb servicesDynamic web dataProcess orchestrationSemi-structured data

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items

PiDuce- A project for experimenting web services technologies, Linear forwarders, Combining behavioural types with security analysis, Communicating by compatibility, Security types for dynamic web data, Types for Role-Based Access Control of Dynamic Web Data, Behavioural equivalences for dynamic web data, A Typed Calculus for Querying Distributed XML Documents, Security Types for Dynamic Web Data, Modelling dynamic web data

Uses Software

• JoCaml
• Pict
• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contextual equivalence for higher-order \(\pi\)-calculus revisited
• A calculus of mobile processes. II
• A theory of higher order communicating systems
• On reduction-based process semantics
• Resource access control in systems of mobile agents
• Modelling dynamic web data
• Validating a web service security abstraction by typing
• A theory of weak bisimulation for Core CML
• Context logic and tree update
• CONCUR 2003 - Concurrency Theory
• ObjectGlobe: Ubiquitous query processing on the Internet