Reversible Imperative Parallel Programs and Debugging (Q5237216): Difference between revisions

@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5014800
@@ Property / cites work: Q5014800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384916
@@ Property / cites work: Q3384916 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+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 @@
+A theory of reversibility for Erlang
@@ Property / cites work: A theory of reversibility 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 @@
+Reversibility and asymmetric conflict in event structures
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Reverse Code Generation for Parallel Discrete Event Simulation
+Normal rank