A Typed Process Calculus for Dynamic Web Data

We present Tdpi, a typed process calculus for dynamic Web data. Tdpi features Web data in networks, hyperlinks, service calls, scripts, dynamically accessing data and typing. In Tdpi, a typing system disciplines data handing at the level of channels and processes. We proved subject reduction theorem...

Full description

Saved in:
Bibliographic Details
Published in2009 International Conference on Networking and Digital Society Vol. 1; pp. 162 - 165
Main Authors Hui-yun Long, Jian-shi Li
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2009
Subjects
Calculus
Computer science
Control systems
Data models
Dynamic web data
Educational institutions
Memory
Peer to peer computing
Pi-calculus
subject reduction
type
typing system
Virtual colonoscopy
Web services
XML
Online AccessGet full text

Cover

More Information
Summary:We present Tdpi, a typed process calculus for dynamic Web data. Tdpi features Web data in networks, hyperlinks, service calls, scripts, dynamically accessing data and typing. In Tdpi, 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.
ISBN:9780769536354
0769536352
DOI:10.1109/ICNDS.2009.46