Swarming over the software barrier

Authors:
H. Conrad Cunningham
Affiliations:
University of Mississippi, University, MS
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 11
Cited 0

Programming expert systems in OPS5: an introduction to rule-based programming

Programming expert systems in OPS5: an introduction to rule-based programming
Parallel program design: a foundation

Parallel program design: a foundation
Linda in context

Communications of the ACM
A Declarative Approach to Visualizing Concurrent Computations

Computer
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency

IEEE Transactions on Software Engineering
The gamma model and its discipline of programming

Science of Computer Programming
Special issue on parallelism

Communications of the ACM - Special issue on parallelism
Editorial

Communications of the ACM - Special issue on parallelism
Associons: A Program Notation with Tuples Instead of Variables

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communications of the ACM
A UNITY-Style Programming Logic for Shared Dataspace Programs

IEEE Transactions on Parallel and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.