Fusion and simultaneous execution in the refinement calculus

Acta Informatica

Volumn 35, Issue 11, 1998, Pages 921-949

  Back, Ralph Johan ^a   Butler, Michael ^b  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039396493     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050148     Document Type: Article

References (29)

1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press 1996
2. Back, R.J.R.: Correctness Preserving Program Refinements: Proof Theory and Applications. Tract 131, Mathematisch Centrum, Amsterdam, 1980
3. Back, R.J.R., Butler, M. J.: Exploring summation and product operators in the refinement calculus. In: Möller, B. (ed.) Mathematics of Program Construction, 1995, LNCS 947, Berlin Heidelberg New York: Springer 1995
4. Back, R.J.R., Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In: 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pp. 131-142, 1983
5. Back, R.J.R., Sere, K.: Superposition refinement of parallel algorithms. In: Parker, K.A., Rose, G.A. (eds) FORTE'91. Amsterdam: North-Holland 1992
6. Back, R.J.R., von Wright, J.: Refinement concepts formalised in higher order logic. Form. Asp. Comput. 5: 247-272 (1990)
7. Butler, M.J.: Stepwise refinement of communicating systems. Sci. Comput. Programm. 27(2): 139-173 (1996)
8. Butler, M.J., Grundy, J., Långbacka, T., Rukšėnas, R., von Wright, J.: The refinement calculator: proof support for program refinement. In: Groves, L., Reeves, S. (eds) Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. Berlin Heidelberg New York: Springer 1997
9. Dijkstra, E.W.: A Discipline of Programming. Englewood Cliffs, N.J.: Prentice-Hall 1976
10. Gardiner, P.H.B. .Morgan, C.C.: Data refinement of predicate transformers. Theor. Comput. Sci. 87: 143-162 (1991)
11. Gordon, M., Melham, T.: Introduction to HOL. Cambridge University Press 1993
12. He, J., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: European Symposium on Programming, LNCS 213, Berlin Heidelberg New York: Springer 1986
13. Hoare, C.A.R.: Communicating Sequential Processes. Englewood Cliffs, N.J.: Prentice-Hall 1985
14. Hoogendijk, P.F., Backhouse, R.C.: Relational programming laws in the tree, list, bag, set hierarchy. Sci. Comput. Prog. 22(1-2): 67-105 (1994)
15. Jifeng, He, Hoare, C. A.R.: Categorical Semantics of Programming Languages. In: Mathematical Foundations of Programming Semantics, LNCS 442, Berlin Heidelberg New York: Springer 1990
16. Jones, C.B.: Systematic Software Development using VDM - Second Edition. Englewood Cliffs, N.J.: Prentice-Hall 1990
17. Leino, K.R.M., Manohar, R.: Joining specification statements. Available from http: //www.research.digital.com/SRC/personal/Rustan_Leino /papers.html, July 1996
18. Martin, C.E.: Preordered Categories and Predicate Transformers. D.Phil. Thesis, Programming Research Group, Oxford University, 1991
19. Mikhajlova, A., Sekerinski, E.: Class refinement and interface refinement in object-oriented programs. In: FME'97, LNCS 1313, Berlin Heidelberg New York: Springer 1997
20. Morgan, C.C.: The specification statement. ACM Trans. Program. Lang. Syst. 10(3): 403-419 (1988)
21. Morgan, C.C.: Programming from Specifications. Englewood Cliffs, N.J.: Prentice-Hall 1990
22. Morgan, C.C.: The cuppest capjunctive capping, and Galois. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C. A.R. Hoare. Englewood Cliffs, N.J.: Prentice-Hall 1994
23. Morris, J.M.: A theoretical basis for stepwise refinement and the programming calculus. Sci. Comput. Program. 9(3): 298-306 (1987)
24. Morris, J.M.: Laws of data refinement. Acta Inf. 26: 287-308 (1989)
25. Naumann, D.A.: Two-Categories and Program Structure: Data Types, Refinement Calculi, and Predicate Transformers. Ph.D. Thesis, University of Texas at Austin, 1992
26. Spivey, J.M.: The Z Notation - A Reference Manual. Englewood Cliffs, N.J.: Prentice-Hall 1989
27. von Wright, J.: The lattice of data refinement. Acta Inf. 31(2): 105-135 (1994)
28. von Wright, J.: A unified theory of data refinement. Ȧbo Akademi University, Dept. of Computer Science, February 1994
29. Ward, N.: Adding specification constructs to the refinement calculus. In: FME'93, LNCS 670, Berlin Heidelberg New York: Springer 1993