Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951967429> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2951967429 abstract "In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for testing and verification, among others. In this paper, we consider a subset of Erlang, a functional and concurrent programming language based on the actor model. We present a formal semantics for reversible computation in this language and prove its main properties, including its causal consistency. We also build on top of it a rollback operator that can be used to undo the actions of a process up to a given checkpoint." @default.
- W2951967429 created "2019-06-27" @default.
- W2951967429 creator A5030878839 @default.
- W2951967429 creator A5034671904 @default.
- W2951967429 creator A5039281466 @default.
- W2951967429 creator A5087763144 @default.
- W2951967429 date "2018-06-19" @default.
- W2951967429 modified "2023-09-23" @default.
- W2951967429 title "A Theory of Reversibility for Erlang" @default.
- W2951967429 cites W114470091 @default.
- W2951967429 cites W129813967 @default.
- W2951967429 cites W1497640022 @default.
- W2951967429 cites W1557052422 @default.
- W2951967429 cites W1583295953 @default.
- W2951967429 cites W1953094053 @default.
- W2951967429 cites W1965854837 @default.
- W2951967429 cites W1966800513 @default.
- W2951967429 cites W1972376146 @default.
- W2951967429 cites W2026235588 @default.
- W2951967429 cites W2056239109 @default.
- W2951967429 cites W2059141487 @default.
- W2951967429 cites W2068967633 @default.
- W2951967429 cites W2087066740 @default.
- W2951967429 cites W2097701296 @default.
- W2951967429 cites W2105259569 @default.
- W2951967429 cites W2105526656 @default.
- W2951967429 cites W2110010771 @default.
- W2951967429 cites W2112450120 @default.
- W2951967429 cites W2121357705 @default.
- W2951967429 cites W2164594049 @default.
- W2951967429 cites W2170151971 @default.
- W2951967429 cites W2293751100 @default.
- W2951967429 cites W2491933619 @default.
- W2951967429 cites W2506994270 @default.
- W2951967429 cites W2584381671 @default.
- W2951967429 cites W2739076725 @default.
- W2951967429 cites W40444246 @default.
- W2951967429 hasPublicationYear "2018" @default.
- W2951967429 type Work @default.
- W2951967429 sameAs 2951967429 @default.
- W2951967429 citedByCount "0" @default.
- W2951967429 crossrefType "posted-content" @default.
- W2951967429 hasAuthorship W2951967429A5030878839 @default.
- W2951967429 hasAuthorship W2951967429A5034671904 @default.
- W2951967429 hasAuthorship W2951967429A5039281466 @default.
- W2951967429 hasAuthorship W2951967429A5087763144 @default.
- W2951967429 hasConcept C161771561 @default.
- W2951967429 hasConcept C171018156 @default.
- W2951967429 hasConcept C174220543 @default.
- W2951967429 hasConcept C184337299 @default.
- W2951967429 hasConcept C199360897 @default.
- W2951967429 hasConcept C2524010 @default.
- W2951967429 hasConcept C2780154230 @default.
- W2951967429 hasConcept C33923547 @default.
- W2951967429 hasConcept C41008148 @default.
- W2951967429 hasConcept C42383842 @default.
- W2951967429 hasConcept C45374587 @default.
- W2951967429 hasConcept C75949130 @default.
- W2951967429 hasConcept C80444323 @default.
- W2951967429 hasConcept C82484044 @default.
- W2951967429 hasConceptScore W2951967429C161771561 @default.
- W2951967429 hasConceptScore W2951967429C171018156 @default.
- W2951967429 hasConceptScore W2951967429C174220543 @default.
- W2951967429 hasConceptScore W2951967429C184337299 @default.
- W2951967429 hasConceptScore W2951967429C199360897 @default.
- W2951967429 hasConceptScore W2951967429C2524010 @default.
- W2951967429 hasConceptScore W2951967429C2780154230 @default.
- W2951967429 hasConceptScore W2951967429C33923547 @default.
- W2951967429 hasConceptScore W2951967429C41008148 @default.
- W2951967429 hasConceptScore W2951967429C42383842 @default.
- W2951967429 hasConceptScore W2951967429C45374587 @default.
- W2951967429 hasConceptScore W2951967429C75949130 @default.
- W2951967429 hasConceptScore W2951967429C80444323 @default.
- W2951967429 hasConceptScore W2951967429C82484044 @default.
- W2951967429 hasOpenAccess W2951967429 @default.
- W2951967429 hasRelatedWork W2017055028 @default.
- W2951967429 hasRelatedWork W2163654786 @default.
- W2951967429 hasRelatedWork W2741546960 @default.
- W2951967429 hasRelatedWork W2953958793 @default.
- W2951967429 hasRelatedWork W3023081192 @default.
- W2951967429 hasRelatedWork W3108119722 @default.
- W2951967429 hasRelatedWork W3164851895 @default.
- W2951967429 isParatext "false" @default.
- W2951967429 isRetracted "false" @default.
- W2951967429 magId "2951967429" @default.
- W2951967429 workType "article" @default.