The expressive power of indeterminate dataflow primitives (Q1201292): Difference between revisions

@@ Property / cites work @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325069
@@ Property / cites work: Q3325069 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof rules and transformations dealing with fairness
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657421
@@ Property / cites work: Q3657421 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time and branching time semantics for recursion with merge
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract trace model for dataflow and asynchronous networks
+Normal rank
@@ Property / cites work @@
+Q4151149
@@ Property / cites work: Q4151149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680240
@@ Property / cites work: Q3680240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723281
@@ Property / cites work: Q4723281 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kahn principle for input/output automata
+Normal rank
@@ Property / cites work @@
+Nonexpressibility of fairness and signaling
@@ Property / cites work: Nonexpressibility of fairness and signaling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680241
@@ Property / cites work: Q3680241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3042377
@@ Property / cites work: Q3042377 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749207
@@ Property / cites work: Q4749207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733393
@@ Property / cites work: Q4733393 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of indeterminate dataflow primitives
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank