Sciweavers

Share
EPEW
2005
Springer

PiDuce: A Process Calculus with Native XML Datatypes

9 years 7 months ago
PiDuce: A Process Calculus with Native XML Datatypes
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 structure of values may not reveal anything about their schemas. This is problematic in the pattern matching algorithm because it requires to verify whether a schema of a channel is a subschema of a pattern. Such a verification has exponential cost, in general. In order to reduce the computational complexity of the pattern matching, channel schemas are constrained to occur in tail positions of sequences and to be labelled-determined.
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Mere
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPEW
Authors Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith
Comments (0)
books