XPi: A typed process calculus for XML messaging.

Lucia Acciai Michele Boreale

Published in: Sci. Comput. Program. (2008)

Keyphrases

higher order
xml documents
metadata
databases
knowledge base
data sets
neural network
topic maps
markup language
lambda calculus