References

  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 http://dx.doi.org/10.1002/cpe.1505.
  2. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012): Adaptable processes. Logical Methods in Computer Science 8(4). Available at http://dx.doi.org/10.2168/LMCS-8(4:13)2012.
  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 http://dx.doi.org/10.1017/S096012950999017X.
  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 http://dx.doi.org/10.3923/itj.2006.833.841.
  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 http://dx.doi.org/10.1109/GCE.2008.4738445.
  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 http://dx.doi.org/10.1177/109434200101500302.
  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 http://doi.acm.org/10.1145/288090.288111.
  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 http://dx.doi.org/10.1007/978-3-642-03466-4_10.
  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 http://dx.doi.org/10.1007/978-3-642-19718-5_19.
  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 http://dx.doi.org/10.1016/j.ic.2010.10.001.
  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 http://dx.doi.org/10.1016/0890-5401(92)90008-4.
  13. Zsolt Németh & Vaidy S. Sunderam (2003): Characterizing Grids: Attributes, Definitions, and Formalisms. J. Grid Comput. 1(1), pp. 9–23. Available at http://dx.doi.org/10.1023/A:1024011025052.
  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 http://tinyurl.com/kkcadba.
  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 http://dx.doi.org/10.1006/inco.1996.0096.
  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 http://dx.doi.org/10.1007/978-3-540-24679-4_118.
  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 http://dx.doi.org/10.1109/ITNG.2009.63.
  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 http://dx.doi.org/10.1016/j.future.2008.02.013.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org