An operational semantics for skeletons