Distributed speculative execution for reliability and fault tolerance: an operational semantics (Q2377270): 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/s00446-008-0073-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1993079907
@@ Property / OpenAlex ID: W1993079907 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673433
@@ Property / cites work: Q4673433 / 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 @@
+Q4274970
@@ Property / cites work: Q4274970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Recovery in distributed systems using optimistic message logging and checkpointing
+Normal rank
@@ Property / cites work @@
+A checkpoint protocol for an entry consistent shared memory system
+Normal rank
@@ Property / cites work @@
+Q4413707
@@ Property / cites work: Q4413707 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2377270