An algorithm for analyzing communicating processes (Q6116579): Difference between revisions

@@ Property / cites work @@
+Q3347264
@@ Property / cites work: Q3347264 / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of arithmetical congruences
@@ Property / cites work: Static analysis of arithmetical congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+Data flow analysis of distributed communicating processes
+Normal rank
@@ Property / cites work @@
+A general-purpose algorithm for analyzing concurrent programs
+Normal rank