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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(94)00206-e
+Normal rank
@@ Property / OpenAlex ID @@
+W2064804242
@@ Property / OpenAlex ID: W2064804242 / rank @@
+Normal rank