Modelling dynamic web data
From MaRDI portal
Publication:2566029
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
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
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