Slide 1 An Operational Semantics for Skeletons Marco Aldinucci ISTI – CNR National Research Council Pisa, Italy Marco Danelutto Computer Science Dept. University of Pisa…
