Defining conditional independence using collapses (Q1194331): Difference between revisions

@@ Property / cites work @@
+Automatic translation of FORTRAN programs to vector form
+Normal rank
@@ Property / cites work @@
+Appraising fairness in languages for distributed programming
+Normal rank
@@ Property / cites work @@
+Proving assertions about parallel programs
@@ Property / cites work: Proving assertions about parallel programs / 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 @@
+A Shared Memory Computer Display System
@@ Property / cites work: A Shared Memory Computer Display System / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic independence
@@ Property / cites work: Semantic independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4038692
@@ Property / cites work: Q4038692 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of distributed programs into communication-closed layers
+Normal rank
@@ Property / cites work @@
+Q4733390
@@ Property / cites work: Q4733390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741036
@@ Property / cites work: Q3741036 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Interleaving set temporal logic
@@ Property / cites work: Interleaving set temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733386
@@ Property / cites work: Q4733386 / rank @@
+Normal rank
@@ Property / cites work @@
+On interprocess communication. I: Basic formalism
@@ Property / cites work: On interprocess communication. I: Basic formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Adequate proof principles for invariance and liveness properties of concurrent programs
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359782
@@ Property / cites work: Q3359782 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q4038718
@@ Property / cites work: Q4038718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3814798
@@ Property / cites work: Q3814798 / rank @@
+Normal rank