@InProceedings{AlDa03parco,
      AUTHOR = {Aldinucci, Marco and Danelutto, Marco},
      TITLE = {An operational semantics for skeletons},
      YEAR = {2004},
      BOOKTITLE = {Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003},
      VOLUME = {13},
      PAGES = {63--70},
      EDITOR = {Joubert, G. R. and Nagel, W.E. and Peters, F. J. and Walter, W. V.},
      SERIES = {Advances in Parallel Computing},
      ADDRESS = {Dresden, Germany},
      PUBLISHER = {Elsevier},
      URL = {http://www.di.unipi.it/~aldinuc/paper_files/2004_sem_parco03.pdf},
      KEYWORDS = {WP3}
}