1. Hai, J., Yuan, P.P., Shi, K.: Grid Computing2. Publishing House of Electronics Industry (2004)
2. Foster, I., Frey, J., et al.: Modeling Stateful Resources with Web Services, Globus Alliance (2004)
3. Davide, S., Davide, W.: The Pi-calculus: a theory of mobile processes. Cambridge University Press, Cambridge (2001)
4. Németh, Z., Sunderam, V.: Characterizing Grids Attributes, Definitions, and Formalisms. Journal of Grid Computing 1(1), 9–23 (2003)
5. Németh, Z.: Definition of a parallel execution model with abstract state machine. Acta Cybernetica 15(3), 417–455 (2002)