Controlling Reversibility in Higher-Order Pi (Q3090837): 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-23217-6_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1557052422
@@ Property / OpenAlex ID: W1557052422 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions for fault-tolerant global computing
@@ Property / cites work: Abstractions for fault-tolerant global computing / rank @@
+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 @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+A formal approach to undo operations in programming languages
+Normal rank
@@ Property / cites work @@
+Lightweight checkpointing for concurrent ML
@@ Property / cites work: Lightweight checkpointing for concurrent ML / rank @@
+Normal rank