A reference model for grid architectures and its validation

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 1365–1385 http://dx.doi.org/10.1002/cpe.1505 Mario Bravetti Cinzia Di Giusto Jorge A. Pérez Gianluigi Zavattaro 2012 Adaptable processes Logical Methods in Computer Science 8 4 http://dx.doi.org/10.2168/LMCS-8(4:13)2012 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 1191–1222 http://dx.doi.org/10.1017/S096012950999017X Y. Du C. Jiang Y. Guo 2006 Towards a formal model for grid architecture via Petri Nets Information Technology Journal 5 5 833–841 http://dx.doi.org/10.3923/itj.2006.833.841 I. Foster Yong Zhao I. Raicu Shiyong Lu 2008 Cloud Computing and Grid Computing 360-Degree Compared Grid Computing Environments Workshop, 2008. GCE '08 1–10 http://dx.doi.org/10.1109/GCE.2008.4738445 Ian Foster Carl Kesselman Steven Tuecke 2001 The Anatomy of the Grid: Enabling Scalable Virtual Organizations Int. J. High Perform. Comput. Appl. 15 3 200–222 http://dx.doi.org/10.1177/109434200101500302 Ian T. Foster Carl Kesselman Gene Tsudik Steven Tuecke 1998 A Security Architecture for Computational Grids Li Gong Michael K. Reiter ACM Conference on Computer and Communications Security ACM 83–92 http://doi.acm.org/10.1145/288090.288111 Cinzia Di Giusto Jorge A. Pérez Gianluigi Zavattaro 2009 On the Expressiveness of Forwarding in Higher-Order Communication ICTAC Lecture Notes in Computer Science 5684 Springer 155–169 http://dx.doi.org/10.1007/978-3-642-03466-4_10 Vasileios Koutavas Matthew Hennessy 2011 A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract) Gilles Barthe ESOP Lecture Notes in Computer Science 6602 Springer 358–377 http://dx.doi.org/10.1007/978-3-642-19718-5_19 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 198–226 http://dx.doi.org/10.1016/j.ic.2010.10.001 Robin Milner 1989 Comunication and Concurrency Prentice Hall Robin Milner Joachim Parrow David Walker 1992 A calculus of mobile processes, I Inf. Comput. 100 1 1–40 http://dx.doi.org/10.1016/0890-5401(92)90008-4 Zsolt Németh Vaidy S. Sunderam 2003 Characterizing Grids: Attributes, Definitions, and Formalisms J. Grid Comput. 1 1 9–23 http://dx.doi.org/10.1023/A:1024011025052 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) http://tinyurl.com/kkcadba 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. Davide Sangiorgi 1996 Bisimulation for Higher-Order Process Calculi Inf. Comput. 131 2 141–178 http://dx.doi.org/10.1006/inco.1996.0096 Davide Sangiorgi David Walker 2001 The π-calculus: A Theory of Mobile Processes Cambridge University Press

New York, NY, USA

K. Stanoevska-Slabeva T. Wozniak S. Ristol 2009 Grid and Cloud Computing: A Business Perspective on Technology and Applications Springer Chuliang Weng Xinda Lu Qianni Deng 2003 Formalizing Service Publication and Discovery in Grid Computing Systems GCC (1) Lecture Notes in Computer Science 3032 Springer 669–676 http://dx.doi.org/10.1007/978-3-540-24679-4_118 Li Zhan-jun Huang Yong-zhong Guo Shao-zhong 2009 Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations ITNG '09 IEEE Computer Society

Washington, DC, USA

1568–1571 http://dx.doi.org/10.1109/ITNG.2009.63 Jing Zhou Guosun Zeng 2009 A mechanism for grid service composition behavior specification and verification Future Generation Comp. Syst. 25 3 378–383 http://dx.doi.org/10.1016/j.future.2008.02.013