Controlled Reversibility and Compensations (Q3453755): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-36315-3_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1537589501
@@ Property / OpenAlex ID: W1537589501 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3453755