A logic for extensional protocols (Q2901223): Difference between revisions

@@ Property / DOI @@
-.3166/jancl.21.477-502
@@ Property / DOI: 10.3166/jancl.21.477-502 / rank @@
-Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / 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 @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / 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 @@
+Merging DEL and ETL
@@ Property / cites work: Merging DEL and ETL / rank @@
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / DOI @@
+.3166/JANCL.21.477-502
@@ Property / DOI: 10.3166/JANCL.21.477-502 / rank @@
+Normal rank