"Towards Formal Interaction-Based Models of Grid Computing Infrastructures."

Carlos Alberto Ramírez Restrepo et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics