Grid computing simulation and verification based on pi calculus

IFIP International Federation for Information Processing

Volumn 205, Issue , 2006, Pages 133-142

  Tao, Hu ^a   Shaofan, Chen ^a   Weibo, Lin ^b  

^a HAINAN UNIVERSITY   (China)

^b Library of Haian University

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; COMPUTER GAMES; INFORMATION SYSTEMS; PETRI NETS;

ADJACENT NODES; MUTUAL EXCLUSIONS; NEIGHBORING NODES; PETRI NET THEORIES; PI CALCULUS; STRONG BISIMULATION; TWO-PLAYER GAMES;

GRID COMPUTING;

EID: 34047254125     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. Y.J. Lee and P. Henderson, A Practical Modelling Notation for Secure Distributed Computation, Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA'05), pp. 439-442, 2005.
2. A. Paschke and M. Bichler, SLA Representation, Management and Enforcement, Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, 2005.
3. Z.Y. Xia and Y.C. Jiang, A Novel Grid Node-by-Node, GCC 2004, LNCS 3251, pp. 356-363, 2004.
4. M. Ragni, An Arrangement Calculus, Its Complexity, and Algorithmic Properties, KI 2003, LNAI2821, pp. 580-590, 2003.
5. C.L. Weng, X.D. Lu, and Q.N. Deng, Formalizing Service Publication and Discovery in Grid Computing Systems, GCC 2003, LNCS 3032, pp.669-676, 2004.
6. Z.W. Qi, C. Fu, D.Y. Shi, J.Y. You, and M.L. Li, Membrane Calculus: A Formal Method for Grid Transactions, GCC 2004, LNCS 3251, pp.73-80, 2004.
7. R. Milner, Communication and Concurrency (International Series in Computer Science, Prentice Hall, 1989).
8. R. Milner, Communicating and Mobile Systems: the π-Calculus (Cambridge 1999).
9. R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes, Part I and Part II. Information and Compulation 100(1), 1-77 (1992).
10. C. A. R. Hoare, Communicating Sequential Processes (Prentice-Hall, 1984).
11. W.M.P Van der Aalst, Structural Characterizations of Sound Workflow Nets, Technical Reports, 96/23, Eindhoven: Eindhoven University of Technology, 1996.