Imperative process algebra and models of parallel computation

06/06/2022
by   C. A. Middelburg, et al.
0

In the theory of computation, a model of computation is used to study issues related to computability and computational complexity. Central in such a model are the computational processes considered. Processes of this kind can be described using an existing imperative process algebra based on ACP (Algebra of Communicating Processes). In this paper, it is studied whether this imperative process algebra can play a role in the field of models of computation, in particular in the field of models of parallel computation. The study is carried out by using the process algebra to describe models of computation corresponding to existing models based on (sequential) random access machines, asynchronous parallel random access machines, synchronous parallel random access machines, and time and work complexity measures for those models in a mathematically precise way.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/11/2019

Using Hoare logic in a process algebra setting

This paper concerns the relation between process algebra and Hoare logic...
research
04/10/2023

On Kleene Algebra vs. Process Algebra

We try to clarify the relationship between Kleene algebra and process al...
research
03/14/2021

Imperative process algebra with abstraction

This paper introduces an imperative process algebra based on ACP (Algebr...
research
11/08/2022

Algebra in probabilistic reasoning

This short expository paper outlines applications of computer algebra to...
research
05/29/2018

Unification and Logarithmic Space

We present an algebraic characterization of the complexity classes Logsp...
research
05/08/2018

Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System

When modeling such phenomena as population dynamics, controllable ows, e...
research
06/29/2022

Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties

This report presents an algorithm for determining the unknown rates in t...

Please sign up or login with your details

Forgot password? Click here to reset