PERSPECTIVE article
Front. Comput. Sci.
Sec. Software
Volume 7 - 2025 | doi: 10.3389/fcomp.2025.1564048
Models of High-Level Computation
Provisionally accepted
- Lancaster University, Lancaster, United Kingdom
Select one of your emails
You have multiple emails registered with Frontiers:
Notify me on publication
Please enter your email address:
If you already have an account, please login
You don't have a Frontiers account ? You can register here
Classical models of computation are useful for understanding computability in the small; however, they fall short when it comes to analysing large-scale, complex computations. To address this gap, theoretical computer science has witnessed the emergence of several formalisms that attempt to raise the level of abstraction with the aim of describing not only a single computing device but interactions among a collection of them. In this paper, we unify such formalisms under a common framework, which we refer to as Models of High-Level Computation. Our aim is to offer an accessible overview of these models.
Keywords: Models of computation, computability theory, High-Level Computation, compositionality, Algebraic composition
Received: 21 Jan 2025; Accepted: 10 Jun 2025.
Copyright: © 2025 Arellanes. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
* Correspondence: Damian Arellanes, Lancaster University, Lancaster, United Kingdom
Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.