Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912): Difference between revisions

@@ 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.1007/s00165-012-0260-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2037205044
@@ Property / OpenAlex ID: W2037205044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294155
@@ Property / cites work: Q5294155 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of concurrent programs by stepwise scheduling of Event-B models
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+csp2B: A practical approach to combining CSP and B
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning algebraically about loops
@@ Property / cites work: Reasoning algebraically about loops / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional action system refinement
@@ Property / cites work: Compositional action system refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous system synthesis
@@ Property / cites work: Asynchronous system synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+On the Purpose of Event-B Proof Obligations
@@ Property / cites work: On the Purpose of Event-B Proof Obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank