Deterministic concurrent strategies (Q1941878): Difference between revisions

@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Profunctors, open maps and bisimulation
@@ Property / cites work: Profunctors, open maps and bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+The Winning Ways of Concurrent Games
@@ Property / cites work: The Winning Ways of Concurrent Games / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Some reasons for generalising domain theory
@@ Property / cites work: Some reasons for generalising domain theory / rank @@
+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 @@
+Q4225150
@@ Property / cites work: Q4225150 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous games. II: The true concurrency of innocence
+Normal rank
@@ Property / cites work @@
+Asynchronous Games: Innocence Without Alternation
@@ Property / cites work: Asynchronous Games: Innocence Without Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank