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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Robin Milner (1989):
Comunication and Concurrency.
Prentice Hall.
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.
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.
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),
pp. 141–178.
Available at 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.
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.
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.
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.