Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 9th International Workshop on Developments in Computational Models, DCM 2013, 26 August 2013.
Place of PublicationBuenos Aires, Argentina
PublisherElectronic Proceedings in Theoretical Computer Science (EPTCS)
Number of pages16
Publication statusPublished - 2014

Cite this