Models of high-level computation
Classical models of computation are useful for understanding computability in the small; however, they fall short when it comes to analyzing large-scale, complex computations. To address this gap, theoretical computer science has witnessed the emergence of several formalisms that attempt to raise th...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Frontiers Media S.A.
2025-07-01
|
| Series: | Frontiers in Computer Science |
| Subjects: | |
| Online Access: | https://www.frontiersin.org/articles/10.3389/fcomp.2025.1564048/full |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849429754623557632 |
|---|---|
| author | Damian Arellanes |
| author_facet | Damian Arellanes |
| author_sort | Damian Arellanes |
| collection | DOAJ |
| description | Classical models of computation are useful for understanding computability in the small; however, they fall short when it comes to analyzing 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. |
| format | Article |
| id | doaj-art-7d9f5de19bf04c55be5d19288c7a6c49 |
| institution | Kabale University |
| issn | 2624-9898 |
| language | English |
| publishDate | 2025-07-01 |
| publisher | Frontiers Media S.A. |
| record_format | Article |
| series | Frontiers in Computer Science |
| spelling | doaj-art-7d9f5de19bf04c55be5d19288c7a6c492025-08-20T03:28:14ZengFrontiers Media S.A.Frontiers in Computer Science2624-98982025-07-01710.3389/fcomp.2025.15640481564048Models of high-level computationDamian ArellanesClassical models of computation are useful for understanding computability in the small; however, they fall short when it comes to analyzing 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.https://www.frontiersin.org/articles/10.3389/fcomp.2025.1564048/fullmodels of computationcomputability theoryhigh-level computationcompositionalityalgebraic composition |
| spellingShingle | Damian Arellanes Models of high-level computation Frontiers in Computer Science models of computation computability theory high-level computation compositionality algebraic composition |
| title | Models of high-level computation |
| title_full | Models of high-level computation |
| title_fullStr | Models of high-level computation |
| title_full_unstemmed | Models of high-level computation |
| title_short | Models of high-level computation |
| title_sort | models of high level computation |
| topic | models of computation computability theory high-level computation compositionality algebraic composition |
| url | https://www.frontiersin.org/articles/10.3389/fcomp.2025.1564048/full |
| work_keys_str_mv | AT damianarellanes modelsofhighlevelcomputation |