Persistent SR: Adding persistence to concurrency

The integration of concurrency and distribution into persistent programming languages has been long deferred and is proving sufficiently difficult to still constitute an open research issue. By contrast other lines of language development have ignored persistence and focused on concurrency and distribution. In this paper we look at the problem from the other side and investigate the feasibility of integrating persistence into a language with rich support for concurrency and distribution, namely SR. Such an investigation has two possible benefits: the reconciliation of well understood concurrency primitives with persistent programming, and the Provision of a testbed for the fast prototyping of distribution models. A third benefit is discovered: by adding persistence to SR it progresses from being a single program, single user language, to one which supports communication between multiple independent programs