@InProceedings{orc:parco:07,
      AUTHOR = {Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter},
      TITLE = {A framework for prototyping and reasoning about grid systems},
      YEAR = {2007},
      MONTH = {September},
      BOOKTITLE = {Parallel Computing: Architectures, Algorithms and Applications (Proc. of PARCO 2007, Julich, Germany)},
      EDITOR = {Joubert, G. R. and Bischof, C. and Peters, F. J. and Lippert, T. and Bücker, M. and Gibbon, P. and Mohr, B.},
      SERIES = {NIC},
      ADDRESS = {Germany},
      PUBLISHER = {John von Neumann Institute for Computing},
      NOTE = {Also published as CoreGRID Technical Report TR-0102 (extended version of the paper)},
      KEYWORDS = {WP3}
}