Comparing the Update Expressivity of Communication Patterns and Action Models (Q6199605): Difference between revisions

@@ Property / cites work @@
+Resolving distributed knowledge
@@ Property / cites work: Resolving distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Arrow update synthesis
@@ Property / cites work: Arrow update synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Connecting dynamic epistemic and temporal epistemic logics
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a Byzantine environment: Crash failures
+Normal rank
@@ Property / cites work @@
+Action emulation
@@ Property / cites work: Action emulation / rank @@
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Programming simultaneous actions using common knowledge
+Normal rank
@@ Property / cites work @@
+Distributed knowledge
@@ Property / cites work: Distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized common knowledge for dynamic epistemic logic
+Normal rank