Epistemic Strategies and Games on Concurrent Processes (Q5901384): Difference between revisions

@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Making Random Choices Invisible to the Scheduler
@@ Property / cites work: Making Random Choices Invisible to the Scheduler / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783308
@@ Property / cites work: Q4783308 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Anonymity Protocols as Noisy Channels
@@ Property / cites work: Anonymity Protocols as Noisy Channels / rank @@
+Normal rank