3 search results - page 1 / 1 » PiDuce: A Process Calculus with Native XML Datatypes |
EPEW
2005
Springer
13 years 10 months ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
ACSD
2005
IEEE
13 years 10 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
DOCENG
2004
ACM
13 years 10 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...