Data refinement of remote procedures

Formal Aspects of Computing

Volumn 12, Issue 4, 2000, Pages 278-297

  Sere, Kaisa ^a   Waldén, Marina ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

Action systems; Atomicity refinement; Remote procedures

Indexed keywords

EID: 0043228968     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00003935     Document Type: Article

References (24)

1. Abadi, M. and Lamport, L.: The existence of refinement mappings. In Proc. of the 3rd Annual IEEE Symp. on Logic In Computer Science, Edinburgh, pp. 165-175, 1988.
2. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
3. Back, R. J. R.: On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, Helsinki, Finland, 1978. Report A-1978-4.
4. Back, R. J. R.: Procedural abstraction in the refinement calculus. Department of Computer Science, Åbo Akademi University, Turku, Finland, 1987. Report A -55.
5. Back, R. J. R.: Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings, 1989. volume 430 of Lecture Notes in Computer Science, pp. 67-93. Springer-Verlag, 1990.
6. Back, R. J. R. and Kurki-Suonio, R.: Decentralization of process nets with centralized control, In Proc. of the 2nd ACM SIGACT-SIGOPS Simp. on Principles of Distributed Computing, pp. 131-142, 1983.
7. Back, R. J. R., Martin, A. J. and Sere, K.: Specifying the Caltech asynchronous microprocessor. Science of Computer Programming 26(1996), pp. 79-97, Elsevier.
8. Back, R. J. R. and Sere, K.: Stepwise refinement of parallel algorithms. Science of Computer Programming 13, 133-180, 1989.
9. Back, R. J. R. and Sere, K.: Action systems with synchronous communication. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi (PROCOMET'94), IFIP Transactions A-56, pp. 107-126, North-Holland 1994.
10. Back, R. J. R. and Wright, J. von: Refinement calculus, part I: Sequential nondeterministic programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms. Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science, pp. 42-66. Springer-Verlag, 1990.
11. Back, R. J. R. and Wright, J. von: Trace refinement of action systems. In Proc. of CONCUR'94. volume 836 of Lecture Notes in Computer Science, pages 367-384, Uppsala, Sweden, August 1994. Springer-Verlag.
12. Bonsangue, M. M., Kok, J. N. and Sere, K.: An Approach to Object-Orientation in Action Systems. In Proc. of Mathematics of Program Construction (MPC'98), volume 1422 of Lecture Notes in Computer Science, Marstrand, Sweden, June 1998. Springer-Verlag.
13. Broy, M., Merz, S. and Spies, K. editors: Formal Systems Specification: The RPC-Memory Specification Case Study. Proceedings, volume 1169 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
14. Chandy, K. and Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, 1988.
15. Dijkstra, E. W.: A Discipline of Programming. Prentice-Hall International, 1976.
16. Francez, N.: Cooperating proofs for distributed programs with multiparty interactions. Information Processing Letters, 32:235-242, 1989.
17. Kurki-Suonio, R.: Incremental specification with joint actions: The RPC-memory specification problem. In [BMS96].
18. Morgan, C. C. : Procedures, parameters, and abstraction: Separate concerns. Science of Computer Programming, 11 (1):17-28, 1988.
19. Morgan, C. C.: The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403-419, July 1988.
20. Morris, J. M.: A theoretical basis for Stepwise refinement and the programming calculus. Science of Computer Programming, 9:287-306, 1987.
21. Sere, K. and Waldén, M.: Data Refinement of Remote Procedures. In Proc. of International Symposium on Theoretical Aspects of Computer Software (TACS'97), volume 1281 of Lecture Notes in Computer Science, Sendai, Japan, September 1997. Springer-Verlag.
22. Tanenbaum, A. S.: Modern Operating Systems. Prentice-Hall International, 1992.
23. Udink, R.: Program Refinement in UNITY-like Environments. Ph.D. thesis, Department of Computer Science, University of Utrecht, Utrecht, The Netherlands, 1995.
24. Waldén, M.: Formal Reasoning About Distributed Algorithms. Ph.D. thesis, Department of Computer Science, Åbo Akademi University, Finland, 1998.