PoliS: a programming model for multiple tuple spaces
Paolo Ciancarini · International Workshop on Software Specification and Design · 1991
The class of parallel models and languages based on a shared associative data structure has recently aroused large interest. Among these languages, Linda is certainly well known. In this paper we define PoliS, a model of coordination based on the concept of Multiple Tuple Spaces, a generalization of the Linda approach to parallel programming. The model introduces a programming method in which both space and time of computations can be specified and programmed, aiming at controlling coordination of distributed entities. We discuss a parallel programming language based on this model and, as a meaningful application, the design of a programming environment based on PoliS.