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

@@ Property / describes a project that uses @@
+Erlang
@@ Property / describes a project that uses: Erlang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CauDEr
@@ Property / describes a project that uses: CauDEr / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2809465996
@@ Property / OpenAlex ID: W2809465996 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57573896
@@ Property / Wikidata QID: Q57573896 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07100
@@ Property / arXiv ID: 1806.07100 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Transactors
@@ Property / cites work: Transactors / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4967172
@@ Property / cites work: Q4967172 / rank @@
+Normal rank
@@ Property / cites work @@
+Cauder: a causal-consistent reversible debugger for Erlang
+Normal rank
@@ Property / cites work @@
+Bidirectionalization transformation based on automatic derivation of view complement functions
+Normal rank
@@ Property / cites work @@
+Reversible Term Rewriting
@@ Property / cites work: Reversible Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A reversible semantics for Erlang
@@ Property / cites work: A reversible semantics for Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Reversible session-based pi-calculus
@@ Property / cites work: Reversible session-based pi-calculus / rank @@
+Normal rank