1. Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova & Nikola Trcka (2010): A reference model for grid architectures and its validation. Concurrency and Computation: Practice and Experience 22(11), pp. 1365–1385. Available at
  2. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012): Adaptable processes. Logical Methods in Computer Science 8(4). Available at
  3. Nadia Busi, Maurizio Gabbrielli & Gianluigi Zavattaro (2009): On the expressive power of recursion, replication and iteration in process calculi. Mathematical Structures in Computer Science 19(6), pp. 1191–1222. Available at
  4. Y. Du, C. Jiang & Y. Guo (2006): Towards a formal model for grid architecture via Petri Nets. Information Technology Journal 5(5), pp. 833–841. Available at
  5. I. Foster, Yong Zhao, I. Raicu & Shiyong Lu (2008): Cloud Computing and Grid Computing 360-Degree Compared. In: Grid Computing Environments Workshop, 2008. GCE '08, pp. 1–10. Available at
  6. Ian Foster, Carl Kesselman & Steven Tuecke (2001): The Anatomy of the Grid: Enabling Scalable Virtual Organizations. Int. J. High Perform. Comput. Appl. 15(3), pp. 200–222. Available at
  7. Ian T. Foster, Carl Kesselman, Gene Tsudik & Steven Tuecke (1998): A Security Architecture for Computational Grids. In: Li Gong & Michael K. Reiter: ACM Conference on Computer and Communications Security. ACM, pp. 83–92. Available at
  8. Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2009): On the Expressiveness of Forwarding in Higher-Order Communication. In: ICTAC, Lecture Notes in Computer Science 5684. Springer, pp. 155–169. Available at
  9. Vasileios Koutavas & Matthew Hennessy (2011): A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). In: Gilles Barthe: ESOP, Lecture Notes in Computer Science 6602. Springer, pp. 358–377. Available at
  10. Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi & Alan Schmitt (2011): On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2), pp. 198–226. Available at
  11. Robin Milner (1989): Comunication and Concurrency. Prentice Hall.
  12. Robin Milner, Joachim Parrow & David Walker (1992): A calculus of mobile processes, I. Inf. Comput. 100(1), pp. 1–40. Available at
  13. Zsolt Németh & Vaidy S. Sunderam (2003): Characterizing Grids: Attributes, Definitions, and Formalisms. J. Grid Comput. 1(1), pp. 9–23. Available at
  14. Carlos A. Ramírez, Jorge A. Pérez, Jesús Aranda & Juan F. Díaz (2013): Towards Formal Interaction-based Models of Grid Computing Infrastructures (Extended Version). Available at
  15. Davide Sangiorgi (1992): Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST–99–93. University of Edinburgh, Dept. of Comp. Sci..
  16. Davide Sangiorgi (1996): Bisimulation for Higher-Order Process Calculi. Inf. Comput. 131(2), pp. 141–178. Available at
  17. Davide Sangiorgi & David Walker (2001): The π-calculus: A Theory of Mobile Processes. Cambridge University Press, New York, NY, USA.
  18. K. Stanoevska-Slabeva, T. Wozniak & S. Ristol (2009): Grid and Cloud Computing: A Business Perspective on Technology and Applications. Springer.
  19. Chuliang Weng, Xinda Lu & Qianni Deng (2003): Formalizing Service Publication and Discovery in Grid Computing Systems. In: GCC (1), Lecture Notes in Computer Science 3032. Springer, pp. 669–676. Available at
  20. Li Zhan-jun, Huang Yong-zhong & Guo Shao-zhong (2009): Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns. In: Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations, ITNG '09. IEEE Computer Society, Washington, DC, USA, pp. 1568–1571. Available at
  21. Jing Zhou & Guosun Zeng (2009): A mechanism for grid service composition behavior specification and verification. Future Generation Comp. Syst. 25(3), pp. 378–383. Available at

Comments and questions to:
For website issues: