Knowledge-based programs (Q5137342): Difference between revisions

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ 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/s004460050038
+Normal rank
@@ Property / OpenAlex ID @@
+W2007771077
@@ Property / OpenAlex ID: W2007771077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ 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 @@
+Q2816007
@@ Property / cites work: Q2816007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / 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 guide to completeness and complexity for modal logics of knowledge and belief
+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 @@
+Random generation of combinatorial structures from a uniform distribution
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-oriented programming
@@ Property / cites work: Knowledge-oriented programming / rank @@
+Normal rank
@@ Property / cites work @@
+Programming simultaneous actions using common knowledge
+Normal rank
@@ Property / cites work @@
+Q5203718
@@ Property / cites work: Q5203718 / rank @@
+Normal rank
@@ Property / cites work @@
+Using knowledge to optimally achieve coordination in distributed systems
+Normal rank
@@ Property / cites work @@
+Simulating synchronized clocks and common knowledge in distributed systems
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank