Controlled Reversibility and Compensations (Q3453755): Difference between revisions

@@ Property / cites work @@
+On the Statistical Thermodynamics of Reversible Communicating Processes
+Normal rank
@@ Property / cites work @@
+Reverse Execution of Java Bytecode
@@ Property / cites work: Reverse Execution of Java Bytecode / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Transactions
@@ Property / cites work: Communicating Transactions / rank @@
+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 @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank