A theory of reversibility for Erlang (Q1785852): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Term Rewriting and All That / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Reversibility of Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Compositional Semantics for the Reversible p-Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2004 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transactors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Irreversibility and Heat Generation in the Computing Process / rank
 
Normal rank
Property / cites work
 
Property / cites work: Controlling Reversibility in Higher-Order Pi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversibility in the higher-order \(\pi\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4967172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cauder: a causal-consistent reversible debugger for Erlang / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bidirectionalization transformation based on automatic derivation of view complement functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Term Rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: A reversible semantics for Erlang / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing algebraic process calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tree-Manipulating Systems and Church-Rosser Theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible session-based pi-calculus / rank
 
Normal rank

Latest revision as of 17:06, 16 July 2024

scientific article
Language Label Description Also known as
English
A theory of reversibility for Erlang
scientific article

    Statements

    A theory of reversibility for Erlang (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 October 2018
    0 references
    reversible computation
    0 references
    actor model
    0 references
    concurrency
    0 references
    rollback recovery
    0 references
    Erlang
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references