Reversibility in Erlang: imperative constructs (Q2097430): Difference between revisions

@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Causal-Consistent Debugging of Distributed Erlang Programs
+Normal rank
@@ Property / cites work @@
+Causal-consistent rollback in a tuple-based language
+Normal rank
@@ Property / cites work @@
+Reversible Imperative Parallel Programs and Debugging
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q5089300
@@ Property / cites work: Q5089300 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Cauder: a causal-consistent reversible debugger for Erlang
+Normal rank
@@ Property / cites work @@
+A theory of reversibility for Erlang
@@ Property / cites work: A theory of reversibility for Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to reversible computation
@@ Property / cites work: An axiomatic approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank