Axiomatic-like performance analysis (ALPA) (Q1324358): Difference between revisions

@@ Property / author @@
+Reda A. Ammar
@@ Property / author: Reda A. Ammar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692503
@@ Property / cites work: Q4692503 / rank @@
+Normal rank
@@ Property / cites work @@
+Array processing machines: an abstract model
@@ Property / cites work: Array processing machines: an abstract model / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic treatment of SIMD assignment
@@ Property / cites work: An axiomatic treatment of SIMD assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162449
@@ Property / cites work: Q4162449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030236
@@ Property / cites work: Q3030236 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Program structures for parallel processing
@@ Property / cites work: Program structures for parallel processing / rank @@
+Normal rank
@@ Property / cites work @@
+An exercise in proving parallel programs correct
@@ Property / cites work: An exercise in proving parallel programs correct / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank