Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-007-0049-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2121657617
@@ Property / OpenAlex ID: W2121657617 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Duality in specification languages: A lattice-theoretical approach
+Normal rank
@@ Property / cites work @@
+Q4738112
@@ Property / cites work: Q4738112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261770
@@ Property / cites work: Q4261770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory for nondeterminism, parallelism, communication, and concurrency
+Normal rank
@@ Property / cites work @@
+A fixpoint theory for non-monotonic parallelism
@@ Property / cites work: A fixpoint theory for non-monotonic parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+The Hoare and Symth power domain constructors commute under composition
+Normal rank
@@ Property / cites work @@
+Lower and upper power domain constructions commute on all cpos
+Normal rank
@@ Property / cites work @@
+Power domain constructions
@@ Property / cites work: Power domain constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947096
@@ Property / cites work: Q3947096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / 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 @@
+Interpretations of recursion under unbounded nondeterminacy
+Normal rank
@@ Property / cites work @@
+Predicate-transformer semantics of general recursion
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+General correctness: A unification of partial and total correctness
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+A source of inconsistency in theories of nondeterministic functions
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The free completely distributive lattice over a poset
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank