Games and winning strategies (Q674272): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of refinements for program derivations
@@ Property / cites work: A calculus of refinements for program derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional action system refinement
@@ Property / cites work: Compositional action system refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Duality in specification languages: A lattice-theoretical approach
+Normal rank
@@ Property / cites work @@
+Data refinement of predicate transformers
@@ Property / cites work: Data refinement of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminacy and recursion via stacks and games
@@ Property / cites work: Nondeterminacy and recursion via stacks and games / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A model of concurrency with fair merge and full recursion
+Normal rank