Data flow analysis of distributed communicating processes (Q751233): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+High level programming for distributed computing
@@ Property / cites work: High level programming for distributed computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162449
@@ Property / cites work: Q4162449 / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Algorithm for Global Data Flow Analysis Problems
+Normal rank
@@ Property / cites work @@
+Q3871899
@@ Property / cites work: Q3871899 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reachability in distributed communicating processes
+Normal rank
@@ Property / cites work @@
+A Fast and Usually Linear Algorithm for Global Flow Analysis
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Flow Analysis for Procedural Languages
@@ Property / cites work: Data Flow Analysis for Procedural Languages / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01407862
+Normal rank
@@ Property / OpenAlex ID @@
+W2024748881
@@ Property / OpenAlex ID: W2024748881 / rank @@
+Normal rank