Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134723009> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2134723009 abstract "In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the proof, to cover interactive small-step algorithms that are not necessarily ordinary. This means that the algorithms (1) can complete a step without necessarily waiting for replies to all queries from that step and (2) can use not only the environment's replies but also the order in which the replies were received." @default.
- W2134723009 created "2016-06-24" @default.
- W2134723009 creator A5007686466 @default.
- W2134723009 creator A5043571692 @default.
- W2134723009 creator A5065430432 @default.
- W2134723009 creator A5070313848 @default.
- W2134723009 date "2007-11-05" @default.
- W2134723009 modified "2023-10-17" @default.
- W2134723009 title "Interactive Small-Step Algorithms I: Axiomatization" @default.
- W2134723009 cites W121166499 @default.
- W2134723009 cites W141599801 @default.
- W2134723009 cites W143607683 @default.
- W2134723009 cites W1500153255 @default.
- W2134723009 cites W1541656980 @default.
- W2134723009 cites W1562115776 @default.
- W2134723009 cites W1655990431 @default.
- W2134723009 cites W1853368733 @default.
- W2134723009 cites W1906710615 @default.
- W2134723009 cites W197061278 @default.
- W2134723009 cites W1998333922 @default.
- W2134723009 cites W2008838944 @default.
- W2134723009 cites W2048671682 @default.
- W2134723009 cites W2116849571 @default.
- W2134723009 cites W2118317839 @default.
- W2134723009 cites W2125522861 @default.
- W2134723009 cites W2126160338 @default.
- W2134723009 cites W2127059341 @default.
- W2134723009 cites W2142611800 @default.
- W2134723009 cites W2152271719 @default.
- W2134723009 cites W2323777246 @default.
- W2134723009 cites W2592241421 @default.
- W2134723009 cites W2604885820 @default.
- W2134723009 cites W2611515161 @default.
- W2134723009 cites W3100469844 @default.
- W2134723009 doi "https://doi.org/10.2168/lmcs-3(4:3)2007" @default.
- W2134723009 hasPublicationYear "2007" @default.
- W2134723009 type Work @default.
- W2134723009 sameAs 2134723009 @default.
- W2134723009 citedByCount "22" @default.
- W2134723009 countsByYear W21347230092012 @default.
- W2134723009 countsByYear W21347230092013 @default.
- W2134723009 countsByYear W21347230092014 @default.
- W2134723009 countsByYear W21347230092015 @default.
- W2134723009 countsByYear W21347230092016 @default.
- W2134723009 crossrefType "journal-article" @default.
- W2134723009 hasAuthorship W2134723009A5007686466 @default.
- W2134723009 hasAuthorship W2134723009A5043571692 @default.
- W2134723009 hasAuthorship W2134723009A5065430432 @default.
- W2134723009 hasAuthorship W2134723009A5070313848 @default.
- W2134723009 hasBestOaLocation W21347230091 @default.
- W2134723009 hasConcept C11413529 @default.
- W2134723009 hasConcept C12426560 @default.
- W2134723009 hasConcept C127413603 @default.
- W2134723009 hasConcept C2524010 @default.
- W2134723009 hasConcept C2780428219 @default.
- W2134723009 hasConcept C33923547 @default.
- W2134723009 hasConcept C41008148 @default.
- W2134723009 hasConcept C48103436 @default.
- W2134723009 hasConcept C78519656 @default.
- W2134723009 hasConcept C80444323 @default.
- W2134723009 hasConceptScore W2134723009C11413529 @default.
- W2134723009 hasConceptScore W2134723009C12426560 @default.
- W2134723009 hasConceptScore W2134723009C127413603 @default.
- W2134723009 hasConceptScore W2134723009C2524010 @default.
- W2134723009 hasConceptScore W2134723009C2780428219 @default.
- W2134723009 hasConceptScore W2134723009C33923547 @default.
- W2134723009 hasConceptScore W2134723009C41008148 @default.
- W2134723009 hasConceptScore W2134723009C48103436 @default.
- W2134723009 hasConceptScore W2134723009C78519656 @default.
- W2134723009 hasConceptScore W2134723009C80444323 @default.
- W2134723009 hasLocation W21347230091 @default.
- W2134723009 hasLocation W21347230092 @default.
- W2134723009 hasLocation W21347230093 @default.
- W2134723009 hasLocation W21347230094 @default.
- W2134723009 hasOpenAccess W2134723009 @default.
- W2134723009 hasPrimaryLocation W21347230091 @default.
- W2134723009 hasRelatedWork W1545246811 @default.
- W2134723009 hasRelatedWork W2051487156 @default.
- W2134723009 hasRelatedWork W2073681303 @default.
- W2134723009 hasRelatedWork W2317200988 @default.
- W2134723009 hasRelatedWork W272374983 @default.
- W2134723009 hasRelatedWork W4212927854 @default.
- W2134723009 hasRelatedWork W4245505501 @default.
- W2134723009 hasRelatedWork W4251798144 @default.
- W2134723009 hasRelatedWork W4255529442 @default.
- W2134723009 hasRelatedWork W623607250 @default.
- W2134723009 hasVolume "Volume 3, Issue 4" @default.
- W2134723009 isParatext "false" @default.
- W2134723009 isRetracted "false" @default.
- W2134723009 magId "2134723009" @default.
- W2134723009 workType "article" @default.