@article(bratosin_aalst_sidorova_nikola:referencemodelgrid,
 author       = "Wil M. P. van der Aalst and Carmen Bratosin and Natalia Sidorova and Nikola Trcka",
 year         = "2010",
 title        = "A reference model for grid architectures and its validation",
 journal      = "Concurrency and Computation: Practice and Experience",
 volume       = "22",
 number       = "11",
 pages        = "1365--1385",
 url          = "http://dx.doi.org/10.1002/cpe.1505",
)
@article(DBLP:journals/corr/abs-1210-6379,
 author       = "Mario Bravetti and Cinzia Di Giusto and Jorge A. P{\'e}rez and Gianluigi Zavattaro",
 year         = "2012",
 title        = "Adaptable processes",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "4",
 url          = "http://dx.doi.org/10.2168/LMCS-8(4:13)2012",
)
@article(DBLP:journals/mscs/BusiGZ09,
 author       = "Nadia Busi and Maurizio Gabbrielli and Gianluigi Zavattaro",
 year         = "2009",
 title        = "On the expressive power of recursion, replication and iteration in process calculi",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "19",
 number       = "6",
 pages        = "1191--1222",
 url          = "http://dx.doi.org/10.1017/S096012950999017X",
)
@article(du_jiang_guo:formalmodelgridarchpetri,
 author       = "Y. Du and C. Jiang and Y. Guo",
 year         = "2006",
 title        = "Towards a formal model for grid architecture via Petri Nets",
 journal      = "Information Technology Journal",
 volume       = "5",
 number       = "5",
 pages        = "833--841",
 url          = "http://dx.doi.org/10.3923/itj.2006.833.841",
)
@inproceedings(Foster360,
 author       = "I. Foster and Yong Zhao and I. Raicu and Shiyong Lu",
 year         = "2008",
 title        = "Cloud Computing and Grid Computing 360-Degree Compared",
 booktitle    = "Grid Computing Environments Workshop, 2008. GCE '08",
 pages        = "1--10",
 url          = "http://dx.doi.org/10.1109/GCE.2008.4738445",
)
@article(foster_kesselman_tuecke:grid_ana,
 author       = "Ian Foster and Carl Kesselman and Steven Tuecke",
 year         = "2001",
 title        = "The Anatomy of the Grid: Enabling Scalable Virtual Organizations",
 journal      = "Int. J. High Perform. Comput. Appl.",
 volume       = "15",
 number       = "3",
 pages        = "200--222",
 url          = "http://dx.doi.org/10.1177/109434200101500302",
)
@inproceedings(foster_kessselman_tsudik_tuecke:security_arch,
 author       = "Ian T. Foster and Carl Kesselman and Gene Tsudik and Steven Tuecke",
 year         = "1998",
 title        = "A Security Architecture for Computational Grids",
 editor       = "Li Gong and Michael K. Reiter",
 booktitle    = "ACM Conference on Computer and Communications Security",
 publisher    = "ACM",
 pages        = "83--92",
 url          = "http://doi.acm.org/10.1145/288090.288111",
)
@inproceedings(DBLP:conf/ictac/GiustoPZ09,
 author       = "Cinzia Di Giusto and Jorge A. P{\'e}rez and Gianluigi Zavattaro",
 year         = "2009",
 title        = "On the Expressiveness of Forwarding in Higher-Order Communication",
 booktitle    = "ICTAC",
 series       = "Lecture Notes in Computer Science",
 volume       = "5684",
 publisher    = "Springer",
 pages        = "155--169",
 url          = "http://dx.doi.org/10.1007/978-3-642-03466-4_10",
)
@inproceedings(DBLP:conf/esop/KoutavasH11,
 author       = "Vasileios Koutavas and Matthew Hennessy",
 year         = "2011",
 title        = "A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract)",
 editor       = "Gilles Barthe",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "6602",
 publisher    = "Springer",
 pages        = "358--377",
 url          = "http://dx.doi.org/10.1007/978-3-642-19718-5_19",
)
@article(DBLP:journals/iandc/LanesePSS11,
 author       = "Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt",
 year         = "2011",
 title        = "On the expressiveness and decidability of higher-order process calculi",
 journal      = "Inf. Comput.",
 volume       = "209",
 number       = "2",
 pages        = "198--226",
 url          = "http://dx.doi.org/10.1016/j.ic.2010.10.001",
)
@book(Milner89,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Comunication and Concurrency",
 publisher    = "Prentice Hall",
)
@article(MilnerPW92a,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A calculus of mobile processes, I",
 journal      = "Inf. Comput.",
 volume       = "100",
 number       = "1",
 pages        = "1--40",
 url          = "http://dx.doi.org/10.1016/0890-5401(92)90008-4",
)
@article(nemeth_sunderam:charecgrid,
 author       = "Zsolt N{\'e}meth and Vaidy S. Sunderam",
 year         = "2003",
 title        = "Characterizing Grids: Attributes, Definitions, and Formalisms",
 journal      = "J. Grid Comput.",
 volume       = "1",
 number       = "1",
 pages        = "9--23",
 url          = "http://dx.doi.org/10.1023/A:1024011025052",
)
@unpublished(our:TR,
 author       = "Carlos A. Ram\'{i}rez and Jorge A. P\'{e}rez and Jes\'us Aranda and Juan F. D\'iaz",
 year         = "2013",
 title        = "Towards Formal Interaction-based Models of Grid Computing Infrastructures (Extended Version)",
 url          = "http://tinyurl.com/kkcadba",
)
@phdthesis(sangiorgi:highorder,
 author       = "Davide Sangiorgi",
 year         = "1992",
 title        = "Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms",
 type         = "{PhD} thesis {CST}--99--93",
 school       = "University of Edinburgh, Dept. of Comp. Sci.",
)
@article(DBLP:journals/iandc/Sangiorgi96,
 author       = "Davide Sangiorgi",
 year         = "1996",
 title        = "Bisimulation for Higher-Order Process Calculi",
 journal      = "Inf. Comput.",
 volume       = "131",
 number       = "2",
 pages        = "141--178",
 url          = "http://dx.doi.org/10.1006/inco.1996.0096",
)
@book(SaWabook,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The $\pi $-calculus: A Theory of Mobile Processes",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
)
@book(stanoevska_wozniak_ristol:gridcloudcomputing,
 author       = "K. Stanoevska-Slabeva and T. Wozniak and S. Ristol",
 year         = "2009",
 title        = "Grid and Cloud Computing: A Business Perspective on Technology and Applications",
 publisher    = "Springer",
)
@inproceedings(weng_lu_deng:formservicepubgrid,
 author       = "Chuliang Weng and Xinda Lu and Qianni Deng",
 year         = "2003",
 title        = "Formalizing Service Publication and Discovery in Grid Computing Systems",
 booktitle    = "GCC (1)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3032",
 publisher    = "Springer",
 pages        = "669--676",
 url          = "http://dx.doi.org/10.1007/978-3-540-24679-4_118",
)
@inproceedings(zhanjun_yongzhong_shaozhong:picalculusgridworkflow,
 author       = "Li Zhan-jun and Huang Yong-zhong and Guo Shao-zhong",
 year         = "2009",
 title        = "Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns",
 booktitle    = "Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations",
 series       = "ITNG '09",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "1568--1571",
 url          = "http://dx.doi.org/10.1109/ITNG.2009.63",
)
@article(zhou_zeng:gridservcomp_mech,
 author       = "Jing Zhou and Guosun Zeng",
 year         = "2009",
 title        = "A mechanism for grid service composition behavior specification and verification",
 journal      = "Future Generation Comp. Syst.",
 volume       = "25",
 number       = "3",
 pages        = "378--383",
 url          = "http://dx.doi.org/10.1016/j.future.2008.02.013",
)