DocumentCode
2233086
Title
A Typed Process Calculus for Dynamic Web Data
Author
Long, Hui-yun ; Li, Jian-shi
Author_Institution
Coll. of Comput. Sci. & Technol., Guizhou Univ., Guiyang, China
Volume
1
fYear
2009
fDate
30-31 May 2009
Firstpage
162
Lastpage
165
Abstract
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.
Keywords
Internet; data handling; pi calculus; Tdpi; channels; data handing; dynamic Web data; dynamically accessing data; hyperlinks; networks; scripts; service calls; subject reduction theorem; typed process calculus; typing system; well-type; Calculus; Computer science; Control systems; Data models; Educational institutions; Memory; Peer to peer computing; Virtual colonoscopy; Web services; XML; Dynamic web data; Pi-calculus; subject reduction; type; typing system;
fLanguage
English
Publisher
ieee
Conference_Titel
Networking and Digital Society, 2009. ICNDS '09. International Conference on
Conference_Location
Guiyang, Guizhou
Print_ISBN
978-0-7695-3635-4
Type
conf
DOI
10.1109/ICNDS.2009.46
Filename
5116236
Link To Document