Fusion and Simultaneous Execution in the Refinement Calculus (1997)

Cached

Download Links

by Ralph-johan Back , Michael Butler
Venue:Acta Informatica
Citations:12 - 2 self

Documents Related by Co-Citation

1404 A Discipline of Programming – E W Dijkstra - 1976
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
724 The B-Book: Assigning Programs to Meanings – J R Abrial - 1996
57 Retrenchment: An Engineering Variation on Refinement – R. Banach , M. Poppleton
257 Refinement Calculus: A Systematic Introduction – R-J Back, J von Wright - 1998
11 Retrenchment: Extending the Reach of Refinement – M. R. Poppleton , R. H. Banach
20 Retrenchment, Refinement and Simulation – R. Banach, M. Poppleton
154 Data Refinement: Model-Oriented Proof Methods and their Comparison. Number 47 – W-P de Roever, K Engelhardt - 1998
18 Sharp Retrenchment, Modulated Refinement and Simulation – R. Banach , M. Poppleton
19 Maximally Abstract Retrenchments – C. Jeske, R. Banach - 2000
10 Retrenchment: Extending Refinement for Continuous and Control Systems – M.R. Poppleton, R.H. Banach - 2000
7 Formal Methods for Continuous Systems: Liberalising Refinement in B – M R Poppleton - 2001
19 Prespecification in data refinement – C A R Hoare, Jifeng He, Jeff W Sanders - 1987
9 Engineering and theoretical underpinnings of retrenchment. submitted, http://www.cs.man.ac.uk/ banach/some.pubs/Retrench.Underpin.pdf – R Banach, M Poppleton - 2002
8 Output Retrenchments, Defaults, Stronger Compositions, Feature Engineering – R. Banach, C. Jeske - 2002
17 Controlling Control Systems: An Application of Evolving Retrenchment – Michael Poppleton, Richard Banach
34 Superposition Refinement of Reactive Systems – R. J. R. Back, K. Sere - 1993
33 Retrenching Partial Requirements into System Definitions: A Simple Feature Interaction Case Study – R. Banach , M. Poppleton
115 A Superimposition control construct for distributed systems – S Katz - 1993