Data refinement of remote procedures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1281, Issue , 1997, Pages 267-294

  Sere, K ^a   Walden M ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

ACTION SYSTEMS FORMALISM; COMMUNICATION PARADIGM; DEGREE OF PARALLELISM; DESIGN METHODOLOGY; PARALLEL AND DISTRIBUTED SYSTEMS; REFINEMENT CALCULI; REFINEMENT STRATEGY; REMOTE PROCEDURE CALL;

COMPUTER SOFTWARE;

EID: 84957715237     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014556     Document Type: Conference Paper

References (21)

1. M. Abadi and L. Lamport. The existence of refinement mappings. In Proc. of the 3rd Annual IEEE Symp. on Logic In Computer Science, Edinburgh, pp. 165-175, 1988.
2. E. J. R. Back. 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.
3. R. J. R. Back. Procedural abstraction in the refinement calculus. Department of Computer Science, Åbo Akademi University, Turku, Finland, 1987. Report A-55.
4. R. J. R. Back. 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.
5. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pp. 131-142, 1983.
6. R. J. R. Back, A, J. Martin and K, Sere. Specifying the Caltech asynchronous microprocessor. Science of Computer Programming 26(1996), pp. 79-97, Elsevier.
7. R. J. R. Back and K. Sere. Stepwise refinement of parallel algorithms. Science of Computer Programming 13, pp. 133-180, 1989.
8. R. J. R. Back and K. Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi (PRO-COMET'94), IFIP Transactions A-56, pp. 107-126, North Holland 1994.
9. R. J. R. Back and J. von Wright. Refinement calculus, part I: Sequential nonde-terministic 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.
10. R. J. R. Back and J. von Wright. Trace refinement of action systems. In Proc. of CONCUR'94- LNCS 836, pages 367-384, Uppsala, Sweden, August 1994. Springer-Verlag.
11. M. Broy, S. Merz and K. Spies, editors. Formal Systems Specification: The RPC-Memory Specification Case Study. Proceedings, volume 1169 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
12. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
13. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
14. N. Francez. Cooperating proofs for distributed programs with multiparty interactions. Information Processing Letters, 32:235-242, 1989.
15. R. Kurki-Suonio. Incremental specification with joint actions: The RPC-memory specification problem. In [11].
16. C. Morgan. Procedures, parameters, and abstraction: Separate concerns. Science of Computer Programming, 11(1):17-28, 1988.
17. C. C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403-419, July 1988.
18. J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9:287-306, 1987.
19. A. S. Tanenbaum. Modern Operating Systems. Prentice-Hall International, 1992.
20. E. Udink Program Refinement in UNITY-like Environments. PhD thesis, Department of Computer Science, University of Utrecht, Utrecht, The Netherlands, 1995.
21. M. Waldén Formal derivation of a distributed load balancing algorithm. Series A-172, Reports on Computer Science and Mathematics, Âbo Akademi University, Finland, 1995.