Semantic models for total correctness and fairness (Q5887518): Difference between revisions

@@ Property / DOI @@
-.1007/BFb0040261
@@ Property / DOI: 10.1007/BFb0040261 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0040261
+Normal rank
@@ Property / OpenAlex ID @@
+W1567963448
@@ Property / OpenAlex ID: W1567963448 / 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 @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Matricial theories
@@ Property / cites work: Matricial theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666249
@@ Property / cites work: Q3666249 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional behavior of nondeterministic and concurrent programs
+Normal rank
@@ Property / cites work @@
+Q3835042
@@ Property / cites work: Q3835042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+The inverse semigroup of a sum-ordered semiring
@@ Property / cites work: The inverse semigroup of a sum-ordered semiring / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/BFB0040261
@@ Property / DOI: 10.1007/BFB0040261 / rank @@
+Normal rank