A Study ofWeb Services Transactions Based on Real-time pi Calculus
Huaiguang Wu, Farong Zhong · 2006
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.