Continuous probability distributions in concurrent games (Q2134837): Difference between revisions

@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Topological categories
@@ Property / cites work: Topological categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4967237
@@ Property / cites work: Q4967237 / rank @@
+Normal rank
@@ Property / cites work @@
+Causality vs. interleavings in concurrent game semantics
+Normal rank
@@ Property / cites work @@
+The concurrent game semantics of Probabilistic PCF
+Normal rank
@@ Property / cites work @@
+The Parallel Intensionally Fully Abstract Games Model of PCF
+Normal rank
@@ Property / cites work @@
+Thin Games with Symmetry and Concurrent Hyland-Ong Games
+Normal rank
@@ Property / cites work @@
+Q5111308
@@ Property / cites work: Q5111308 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799972
@@ Property / cites work: Q5799972 / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+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 @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270080
@@ Property / cites work: Q4270080 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed probabilistic and quantum strategies
@@ Property / cites work: Distributed probabilistic and quantum strategies / rank @@
+Normal rank