@Inproceedings{EPTCS144.5, author = {Ram\'irez Restrepo, Carlos Alberto and P\'erez, Jorge A. and Aranda, Jes\'us and D\'iaz-Frias, Juan Francisco}, year = {2014}, title = {Towards Formal Interaction-Based Models of Grid Computing Infrastructures}, editor = {Ayala-Rinc\'on, Mauricio and Bonelli, Eduardo and Mackie, Ian}, booktitle = {{\rm Proceedings 9th International Workshop on} Developments in Computational Models, {\rm Buenos Aires, Argentina, 26 August 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {144}, publisher = {Open Publishing Association}, pages = {57-72}, doi = {10.4204/EPTCS.144.5}, }