Swarming over the software barrier

Swarm is a concurrent programming model which integrates a Linda-like communication medium, the shared dataspace, with a UNITY-like computational model, proof system, and program structure. It generalizes the Linda tuple-space operations by providing more powerful dataspace queries. It generalizes UNITY by permitting content-based access to data, a dynamic set of statements, and the capability to control the execution mode (i.e., synchronous or asynchronous) for arbitrary collections of program statements.