Titlebook: Research Directions in High-Level Parallel Programming Languages; Mont Saint-Michel, F Jean Pierre Banatre,Daniel Métayer Conference procee

許可

Reasoning about synchronic groups, tuples which are addressed by content rather than by name; (2) UNITY‘s static set of statements is replaced by a dynamic set of transactions; and (3) UNITY‘s static ∥-composition is augmented by dynamic coupling of transactions into .. This last feature, unique to Swarm, facilitates formal specific