Parallel composition and decomposition of specifications (Q1602555): Difference between revisions

@@ Property / cites work @@
+On correct refinement of programs
@@ Property / cites work: On correct refinement of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+On the lattice of specifications: Applications to a specification methodology
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+A relational division operator: The conjugate kernel
+Normal rank
@@ Property / cites work @@
+Embedding a demonic semilattice in a relation algebra
+Normal rank
@@ Property / cites work @@
+Q4362886
@@ Property / cites work: Q4362886 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational calculus for program construction by parts
+Normal rank
@@ Property / cites work @@
+Unifying program construction and modification
@@ Property / cites work: Unifying program construction and modification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381704
@@ Property / cites work: Q4381704 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Prespecification in data refinement
@@ Property / cites work: Prespecification in data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel composition and decomposition of specifications
+Normal rank
@@ Property / cites work @@
+Semantic distance between specifications
@@ Property / cites work: Semantic distance between specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic data types: Models and implementations
+Normal rank
@@ Property / cites work @@
+Closure lattices
@@ Property / cites work: Closure lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise refinement / rank @@
+Normal rank