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

@@ Property / author @@
-Ralph-Johan Back
@@ Property / author: Ralph-Johan Back / rank @@
-Normal rank
@@ Property / author @@
+Ralph-Johan Back
@@ Property / author: Ralph-Johan Back / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(83)90055-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2073622611
@@ Property / OpenAlex ID: W2073622611 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q127343003
@@ Property / Wikidata QID: Q127343003 / rank @@
+Normal rank