Correctness of parallel programs: The Church-Rosser approach (Q1241051): Difference between revisions

@@ Property / cites work @@
+Q5667999
@@ Property / cites work: Q5667999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4048580
@@ Property / cites work: Q4048580 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving assertions about parallel programs
@@ Property / cites work: Proving assertions about parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679697
@@ Property / cites work: Q5679697 / rank @@
+Normal rank
@@ Property / cites work @@
+On Proving Correctness of Microprograms
@@ Property / cites work: On Proving Correctness of Microprograms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4053088
@@ Property / cites work: Q4053088 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to the problem of program correctness
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Graph Reducibility
@@ Property / cites work: Flow Graph Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068080
@@ Property / cites work: Q4068080 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+A global flow analysis algorithm
@@ Property / cites work: A global flow analysis algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of structured programs
@@ Property / cites work: Analysis of structured programs / rank @@
+Normal rank
@@ Property / cites work @@
+On procedures as open subroutines. II
@@ Property / cites work: On procedures as open subroutines. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134996
@@ Property / cites work: Q4134996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134929
@@ Property / cites work: Q4134929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+The correctness of nondeterministic programs
@@ Property / cites work: The correctness of nondeterministic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical theory of partial correctness
@@ Property / cites work: Mathematical theory of partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068067
@@ Property / cites work: Q4068067 / rank @@
+Normal rank
@@ Property / cites work @@
+On the capabilities of while, repeat, and exit statements
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser Property
@@ Property / cites work: Testing for the Church-Rosser Property / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Dominators in Directed Graphs
@@ Property / cites work: Finding Dominators in Directed Graphs / rank @@
+Normal rank