A continuous semantics for unbounded nondeterminism (Q1171370): Difference between revisions

@@ Property / cites work @@
+Q3917476
@@ Property / cites work: Q3917476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+A continuous semantics for unbounded nondeterminism
+Normal rank
@@ Property / cites work @@
+Proving total correctness of nondeterministic programs in infinitary logic
+Normal rank
@@ Property / cites work @@
+Q4144761
@@ Property / cites work: Q4144761 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184269
@@ Property / cites work: Q4184269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Semantics of nondeterminism, concurrency, and communication
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857704
@@ Property / cites work: Q3857704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank