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

@@ Property / describes a project that uses @@
+CSP-prover
@@ Property / describes a project that uses: CSP-prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.03.093
+Normal rank
@@ Property / OpenAlex ID @@
+W2029168211
@@ Property / OpenAlex ID: W2029168211 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2873690