
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Keywords: Algorithmical skeletons; Structured parallel programming; Labeled transition systems; Functional semantics; Parallel semantics