Matches in SemOpenAlex for { <https://semopenalex.org/work/W2252281036> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2252281036 endingPage "539" @default.
- W2252281036 startingPage "520" @default.
- W2252281036 abstract "The notion of progress appears in various computation models, for example, in the form of traces getting longer, passing of real time, incrementing a counter, going from termination to non-termination. We introduce a model of sequential computations that generalises and abstracts these examples. We generalise existing algebras for non-terminating executions and instantiate these with our model. Using these algebras we derive an approximation order for computations with time and for trace-based computations. We introduce a generalisation of omega algebras to express iteration in the new model." @default.
- W2252281036 created "2016-06-24" @default.
- W2252281036 creator A5071961816 @default.
- W2252281036 date "2016-06-01" @default.
- W2252281036 modified "2023-09-27" @default.
- W2252281036 title "An algebraic approach to computations with progress" @default.
- W2252281036 cites W145131776 @default.
- W2252281036 cites W1497965065 @default.
- W2252281036 cites W1523284847 @default.
- W2252281036 cites W1525510911 @default.
- W2252281036 cites W1570949334 @default.
- W2252281036 cites W1584820183 @default.
- W2252281036 cites W1595209293 @default.
- W2252281036 cites W1598770683 @default.
- W2252281036 cites W16542559 @default.
- W2252281036 cites W1667913537 @default.
- W2252281036 cites W1674186056 @default.
- W2252281036 cites W1762364904 @default.
- W2252281036 cites W1835285141 @default.
- W2252281036 cites W193272088 @default.
- W2252281036 cites W1968728708 @default.
- W2252281036 cites W1998368317 @default.
- W2252281036 cites W2010426520 @default.
- W2252281036 cites W2016265082 @default.
- W2252281036 cites W2021094735 @default.
- W2252281036 cites W2026501147 @default.
- W2252281036 cites W2031460417 @default.
- W2252281036 cites W2035306406 @default.
- W2252281036 cites W2056368148 @default.
- W2252281036 cites W2068047345 @default.
- W2252281036 cites W2083616846 @default.
- W2252281036 cites W2085133105 @default.
- W2252281036 cites W2093397547 @default.
- W2252281036 cites W2106192381 @default.
- W2252281036 cites W2135318248 @default.
- W2252281036 cites W2149537518 @default.
- W2252281036 cites W2163152086 @default.
- W2252281036 cites W67633796 @default.
- W2252281036 cites W70873062 @default.
- W2252281036 cites W836255558 @default.
- W2252281036 cites W953682703 @default.
- W2252281036 cites W968391095 @default.
- W2252281036 doi "https://doi.org/10.1016/j.jlamp.2015.11.009" @default.
- W2252281036 hasPublicationYear "2016" @default.
- W2252281036 type Work @default.
- W2252281036 sameAs 2252281036 @default.
- W2252281036 citedByCount "3" @default.
- W2252281036 countsByYear W22522810362018 @default.
- W2252281036 countsByYear W22522810362019 @default.
- W2252281036 countsByYear W22522810362020 @default.
- W2252281036 crossrefType "journal-article" @default.
- W2252281036 hasAuthorship W2252281036A5071961816 @default.
- W2252281036 hasBestOaLocation W22522810361 @default.
- W2252281036 hasConcept C11413529 @default.
- W2252281036 hasConcept C134306372 @default.
- W2252281036 hasConcept C136119220 @default.
- W2252281036 hasConcept C138885662 @default.
- W2252281036 hasConcept C184596265 @default.
- W2252281036 hasConcept C202444582 @default.
- W2252281036 hasConcept C33923547 @default.
- W2252281036 hasConcept C41008148 @default.
- W2252281036 hasConcept C41895202 @default.
- W2252281036 hasConcept C45374587 @default.
- W2252281036 hasConcept C75291252 @default.
- W2252281036 hasConcept C80444323 @default.
- W2252281036 hasConcept C9376300 @default.
- W2252281036 hasConceptScore W2252281036C11413529 @default.
- W2252281036 hasConceptScore W2252281036C134306372 @default.
- W2252281036 hasConceptScore W2252281036C136119220 @default.
- W2252281036 hasConceptScore W2252281036C138885662 @default.
- W2252281036 hasConceptScore W2252281036C184596265 @default.
- W2252281036 hasConceptScore W2252281036C202444582 @default.
- W2252281036 hasConceptScore W2252281036C33923547 @default.
- W2252281036 hasConceptScore W2252281036C41008148 @default.
- W2252281036 hasConceptScore W2252281036C41895202 @default.
- W2252281036 hasConceptScore W2252281036C45374587 @default.
- W2252281036 hasConceptScore W2252281036C75291252 @default.
- W2252281036 hasConceptScore W2252281036C80444323 @default.
- W2252281036 hasConceptScore W2252281036C9376300 @default.
- W2252281036 hasIssue "4" @default.
- W2252281036 hasLocation W22522810361 @default.
- W2252281036 hasOpenAccess W2252281036 @default.
- W2252281036 hasPrimaryLocation W22522810361 @default.
- W2252281036 hasRelatedWork W124095581 @default.
- W2252281036 hasRelatedWork W1972860236 @default.
- W2252281036 hasRelatedWork W1973370998 @default.
- W2252281036 hasRelatedWork W2135052823 @default.
- W2252281036 hasRelatedWork W2324865270 @default.
- W2252281036 hasRelatedWork W2586673360 @default.
- W2252281036 hasRelatedWork W2885964212 @default.
- W2252281036 hasRelatedWork W2892231951 @default.
- W2252281036 hasRelatedWork W3102234579 @default.
- W2252281036 hasRelatedWork W4298032262 @default.
- W2252281036 hasVolume "85" @default.
- W2252281036 isParatext "false" @default.
- W2252281036 isRetracted "false" @default.
- W2252281036 magId "2252281036" @default.
- W2252281036 workType "article" @default.