loading...
A Study ofWeb Services Transactions Based on Real-time \pi Calculus
Guilin, Guangxi, China November 01-November 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SKG.2006.14Second International Conference on Se ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Huaiguang Wu, Farong Zhong, "A Study ofWeb Services Transactions Based on Real-time \pi Calculus," Semantics, Knowledge and Grid, International Conference on, pp. 90, Second International Conference on Semantics, Knowledge, and Grid (SKG'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SKG.2006.14,
author = {Huaiguang Wu and Farong Zhong},
title = {A Study ofWeb Services Transactions Based on Real-time \pi Calculus},
journal ={Semantics, Knowledge and Grid, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2673-X},
pages = {90},
doi = {http://doi.ieeecomputersociety.org/10.1109/SKG.2006.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Semantics, Knowledge and Grid, International Conference on
TI - A Study ofWeb Services Transactions Based on Real-time \pi Calculus
SN - 0-7695-2673-X
SP
EP
A1 - Huaiguang Wu,
A1 - Farong Zhong,
PY - 2006
KW - null
VL - 0
JA - Semantics, Knowledge and Grid, International Conference on
ER -
 
Huaiguang Wu, Zhejiang Normal University, China
Farong Zhong, Zhejiang Normal University, China
Transactions of Web services are used to describe open component-based distributed applications. In this paper, we define a calculus of long-running transactions which bases on real time \pi calculus and is independent of idiographic description proposals of web services. We discuss its syntax and semantics and demonstrate its strong (weak) timed bisimulation.
Citation:
Huaiguang Wu, Farong Zhong, "A Study ofWeb Services Transactions Based on Real-time \pi Calculus," skg, pp.90, Second International Conference on Semantics, Knowledge, and Grid (SKG'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.