Imperative process algebra and models of parallel computation

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

At first, an imperative process algebra is recalled. It is based on the algebra of communicating processes (ACP), which is enriched with silent steps \(\tau\) and \(\epsilon\) indicating an empty process. The resulting formalism, denoted as \(\mathrm{ACP}_\epsilon^\tau\), is subsequently further enriched with features to communicate data between processes, to change data involved in the course of a process, and to proceed at certain stages of a process in a way that depends on the changing data (\(\mathrm{ACP}_\epsilon^\tau\)-I). Later this formalism is extended with recursion data (\(\mathrm{ACP}_\epsilon^\tau\)-I+REC) and with cluster fair abstraction rule (\(\mathrm{ACP}_\epsilon^\tau\)-I+REC+CFAR) and some properties are shown. As the paper's main contribution, relations between these process algebras and various RAMP (random access machine process) models of computation are presented (asynchronous parallel RAMP model, synchronous parallel RAMP model). Complexity issues are studied as well.

Recommendations

Cites work

Cited in

(1)

Imperative process algebra with abstraction

This page was built for publication: Imperative process algebra and models of parallel computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6580081)