Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000629633> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3000629633 abstract "What is an algorithm? is a fundamental question of computer science. Gurevich's behavioural theory of sequential algorithms (aka the sequential ASM thesis) gives a partial answer by defining (non-deterministic) sequential algorithms axiomatically, without referring to a particular machine model or programming language, and showing that they are captured by (non-deterministic) sequential Abstract State Machines (nd-seq ASMs). Moschovakis pointed out that recursive algorithms such as mergesort are not covered by this theory. In this article we propose an axiomatic definition of the notion of sequential recursive algorithm which extends Gurevich's axioms for sequential algorithms by a Recursion Postulate and allows us to prove that sequential recursive algorithms are captured by recursive Abstract State Machines, an extension of nd-seq ASMs by a CALL rule. Applying this recursive ASM thesis yields a characterization of sequential recursive algorithms as finitely composed concurrent algorithms all of whose concurrent runs are partial-order runs." @default.
- W3000629633 created "2020-01-23" @default.
- W3000629633 creator A5000905974 @default.
- W3000629633 creator A5021020828 @default.
- W3000629633 date "2020-01-07" @default.
- W3000629633 modified "2023-09-27" @default.
- W3000629633 title "A Behavioural Theory of Recursive Algorithms" @default.
- W3000629633 cites W138050006 @default.
- W3000629633 cites W1514265387 @default.
- W3000629633 cites W1556900989 @default.
- W3000629633 cites W1559870885 @default.
- W3000629633 cites W158271966 @default.
- W3000629633 cites W1591638745 @default.
- W3000629633 cites W1853368733 @default.
- W3000629633 cites W1969402593 @default.
- W3000629633 cites W1997422892 @default.
- W3000629633 cites W1998333922 @default.
- W3000629633 cites W200302693 @default.
- W3000629633 cites W2006265470 @default.
- W3000629633 cites W2054739713 @default.
- W3000629633 cites W2072055022 @default.
- W3000629633 cites W2072794470 @default.
- W3000629633 cites W2100307158 @default.
- W3000629633 cites W2125522861 @default.
- W3000629633 cites W2139801570 @default.
- W3000629633 cites W2205449728 @default.
- W3000629633 cites W2406071312 @default.
- W3000629633 cites W2561831591 @default.
- W3000629633 cites W2586045098 @default.
- W3000629633 cites W2604885820 @default.
- W3000629633 cites W2611515161 @default.
- W3000629633 cites W2620956157 @default.
- W3000629633 cites W2784334896 @default.
- W3000629633 cites W2794811312 @default.
- W3000629633 cites W2901836161 @default.
- W3000629633 cites W2977562003 @default.
- W3000629633 cites W3028118381 @default.
- W3000629633 hasPublicationYear "2020" @default.
- W3000629633 type Work @default.
- W3000629633 sameAs 3000629633 @default.
- W3000629633 citedByCount "0" @default.
- W3000629633 crossrefType "posted-content" @default.
- W3000629633 hasAuthorship W3000629633A5000905974 @default.
- W3000629633 hasAuthorship W3000629633A5021020828 @default.
- W3000629633 hasConcept C11413529 @default.
- W3000629633 hasConcept C118615104 @default.
- W3000629633 hasConcept C145243422 @default.
- W3000629633 hasConcept C167729594 @default.
- W3000629633 hasConcept C167822520 @default.
- W3000629633 hasConcept C168773036 @default.
- W3000629633 hasConcept C2524010 @default.
- W3000629633 hasConcept C2982939207 @default.
- W3000629633 hasConcept C33923547 @default.
- W3000629633 hasConcept C41008148 @default.
- W3000629633 hasConcept C48103436 @default.
- W3000629633 hasConcept C80444323 @default.
- W3000629633 hasConcept C85955891 @default.
- W3000629633 hasConceptScore W3000629633C11413529 @default.
- W3000629633 hasConceptScore W3000629633C118615104 @default.
- W3000629633 hasConceptScore W3000629633C145243422 @default.
- W3000629633 hasConceptScore W3000629633C167729594 @default.
- W3000629633 hasConceptScore W3000629633C167822520 @default.
- W3000629633 hasConceptScore W3000629633C168773036 @default.
- W3000629633 hasConceptScore W3000629633C2524010 @default.
- W3000629633 hasConceptScore W3000629633C2982939207 @default.
- W3000629633 hasConceptScore W3000629633C33923547 @default.
- W3000629633 hasConceptScore W3000629633C41008148 @default.
- W3000629633 hasConceptScore W3000629633C48103436 @default.
- W3000629633 hasConceptScore W3000629633C80444323 @default.
- W3000629633 hasConceptScore W3000629633C85955891 @default.
- W3000629633 hasLocation W30006296331 @default.
- W3000629633 hasOpenAccess W3000629633 @default.
- W3000629633 hasPrimaryLocation W30006296331 @default.
- W3000629633 hasRelatedWork W1501081325 @default.
- W3000629633 hasRelatedWork W1559788204 @default.
- W3000629633 hasRelatedWork W1806556628 @default.
- W3000629633 hasRelatedWork W1816937868 @default.
- W3000629633 hasRelatedWork W1980411366 @default.
- W3000629633 hasRelatedWork W1982952982 @default.
- W3000629633 hasRelatedWork W21170816 @default.
- W3000629633 hasRelatedWork W2131383457 @default.
- W3000629633 hasRelatedWork W2140476855 @default.
- W3000629633 hasRelatedWork W2144936864 @default.
- W3000629633 hasRelatedWork W2148915800 @default.
- W3000629633 hasRelatedWork W2240171820 @default.
- W3000629633 hasRelatedWork W2366213675 @default.
- W3000629633 hasRelatedWork W2386132886 @default.
- W3000629633 hasRelatedWork W2396642598 @default.
- W3000629633 hasRelatedWork W2751102148 @default.
- W3000629633 hasRelatedWork W2951296297 @default.
- W3000629633 hasRelatedWork W363630077 @default.
- W3000629633 hasRelatedWork W62725715 @default.
- W3000629633 hasRelatedWork W99464614 @default.
- W3000629633 isParatext "false" @default.
- W3000629633 isRetracted "false" @default.
- W3000629633 magId "3000629633" @default.
- W3000629633 workType "article" @default.