We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Imperative Process Algebra and Models of Parallel Computation.
- Authors
Middelburg, Cornelis A.
- Abstract
Studies of issues related to computability and computational complexity involve the use of a model of computation. Central in such a model are computational processes. Processes of this kind can be described using an imperative process algebra based on ACP (Algebra of Communicating Processes). In this paper, it is investigated whether the imperative process algebra concerned can play a role in the field of models of computation. It is demonstrated that the process algebra is suitable to describe in a mathematically precise way models of computation corresponding to existing models based on sequential, asynchronous parallel, and synchronous parallel random access machines as well as time and work complexity measures for those models.
- Subjects
TIME complexity; ALGEBRA; COMPUTATIONAL complexity; ATHLETIC fields
- Publication
Theory of Computing Systems, 2024, Vol 68, Issue 3, p529
- ISSN
1432-4350
- Publication type
Article
- DOI
10.1007/s00224-024-10164-0