A Typed Process Calculus for Dynamic Web Data

We present a typed process calculus for dynamic web data. It features web data in networks, hyperlinks, service calls, scripts, dynamically accessing data and typing. In this paper, a typing system disciplines data handing at the level of channels and processes. We proved subject reduction theorem which says that well-type will be preserved by reduction in the typing system.