A calculus of mobile processes, II
Information and Computation
A theory of higher order communicating systems
Information and Computation
On reduction-based process semantics
Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
A fine-grained access control system for XML documents
ACM Transactions on Information and System Security (TISSEC)
Resource access control in systems of mobile agents
Information and Computation
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Hyperqueries: Dynamic Distributed Query Processing on the Internet
Proceedings of the 27th International Conference on Very Large Data Bases
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A Calculus of Mobile Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Problem of ``Weak Bisimulation up to''
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Validating a Web service security abstraction by typing
Proceedings of the 2002 ACM workshop on XML security
ObjectGlobe: Ubiquitous query processing on the Internet
The VLDB Journal — The International Journal on Very Large Data Bases
Jocaml: Mobile Agents for Objective-Caml
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
Dynamic XML documents with distribution and replication
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Ubql: a distributed query language to program distributed query systems
Ubql: a distributed query language to program distributed query systems
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
A theory of weak bisimulation for Core CML
Journal of Functional Programming
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Security types for dynamic web data
Theoretical Computer Science
PiDuce - A project for experimenting Web services technologies
Science of Computer Programming
A typed calculus for querying distributed XML documents
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Security types for dynamic web data
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
DynXML: safely programming the dynamic web
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
Types for role-based access control of dynamic web data
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Graph-semantic based web data model: conceptual design to logical representation
Journal of Computational Methods in Sciences and Engineering
| Hi-index | 0.00 |
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example using hyperlinks, service calls, or scripts for dynamically accessing data, which require the complex coordination of data and processes between sites. The Xdπ calculus models this coordination by integrating the XML data structure with process orchestration techniques associated with the distributed pi-calculus. We study behavioural equivalences for Xdπ, to analyze the various possible patterns of data and process interaction.