Action systems, unbounded nondeterminism, and infinite traces (Q1805399): Difference between revisions

@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Stepwise refinement of parallel algorithms
@@ Property / cites work: Stepwise refinement of parallel algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994745
@@ Property / cites work: Q3994745 / rank @@
+Normal rank
@@ Property / cites work @@
+A state-based approach to communicating processes
@@ Property / cites work: A state-based approach to communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Sequential Processes. The First 25 Years
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Unbounded Non-determinism in CSP
@@ Property / cites work: Unbounded Non-determinism in CSP / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank