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

@@ Property / author @@
-S. A. Schneider
@@ Property / author: S. A. Schneider / rank @@
-Normal rank
@@ Property / author @@
+S. A. Schneider
@@ Property / author: S. A. Schneider / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5925511
@@ Property / zbMATH DE Number: 5925511 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+action refinement
@@ Property / zbMATH Keywords: action refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interface refinement
@@ Property / zbMATH Keywords: interface refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CSP\(\|\)B
@@ Property / zbMATH Keywords: CSP\(\|\)B / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+integrating formal methods
@@ Property / zbMATH Keywords: integrating formal methods / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rodin
@@ Property / describes a project that uses: Rodin / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:549684