Using counterfactuals in knowledge-based programming (Q5138508): Difference between revisions

@@ Property / cites work @@
+Knowledge and common knowledge in a Byzantine environment: Crash failures
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based programs
@@ Property / cites work: Knowledge-based programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling belief in dynamic systems. I: Foundations
+Normal rank
@@ Property / cites work @@
+Message-optimal protocols for Byzantine Agreement
@@ Property / cites work: Message-optimal protocols for Byzantine Agreement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488092
@@ Property / cites work: Q4488092 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling knowledge and action in distributed systems
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+A Characterization of Eventual Byzantine Agreement
+Normal rank
@@ Property / cites work @@
+A little knowledge goes a long way
@@ Property / cites work: A little knowledge goes a long way / rank @@
+Normal rank
@@ Property / cites work @@
+Subjective games and equilibria
@@ Property / cites work: Subjective games and equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming simultaneous actions using common knowledge
+Normal rank
@@ Property / cites work @@
+Simulating synchronized clocks and common knowledge in distributed systems
+Normal rank
@@ Property / cites work @@
+Q4496846
@@ Property / cites work: Q4496846 / rank @@
+Normal rank