On interactive knowledge with bounded communication (Q2901218): Difference between revisions

@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+How processes learn
@@ Property / cites work: How processes learn / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Bounded MSC communication
@@ Property / cites work: Bounded MSC communication / rank @@
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank