Generic Tools via General Refinement (Q2873690): Difference between revisions

@@ Property / Wikidata QID @@
+Q59651694
@@ Property / Wikidata QID: Q59651694 / rank @@
+Normal rank
@@ Property / cites work @@
+General Refinement, Part Two: Flexible Refinement
@@ Property / cites work: General Refinement, Part Two: Flexible Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703804
@@ Property / cites work: Q5703804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431400
@@ Property / cites work: Q3431400 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank