Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684): Difference between revisions

@@ Property / describes a project that uses @@
+csp2B
@@ Property / describes a project that uses: csp2B / 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.scico.2010.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2206868660
@@ Property / OpenAlex ID: W2206868660 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60173580
@@ Property / Wikidata QID: Q60173580 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023588
@@ Property / cites work: Q4023588 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering and theoretical underpinnings of retrenchment
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+csp2B: A practical approach to combining CSP and B
+Normal rank
@@ Property / cites work @@
+Recursion induction for real-time processes
@@ Property / cites work: Recursion induction for real-time processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436964
@@ Property / cites work: Q4436964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+CSP theorems for communicating B machines
@@ Property / cites work: CSP theorems for communicating B machines / rank @@
+Normal rank
@@ Property / cites work @@
+Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
+Normal rank