From action systems to modular systems

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

Volumn 873 LNCS, Issue , 1994, Pages 1-25

  Back, R J R ^a   Sere, K ^b  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b UNIVERSITY OF EASTERN FINLAND   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

GENERAL DESCRIPTION; MODULAR DECOMPOSITION; REFINEMENT CALCULI; REFINEMENT METHODS; REMOTE PROCEDURE CALL; SEQUENTIAL PROGRAMS; STANDARD PROGRAMMING LANGUAGE; SYNCHRONOUS AND ASYNCHRONOUS COMMUNICATIONS;

FORMAL METHODS;

EID: 84974727525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58555-9_83     Document Type: Conference Paper

References (23)

1. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.
2. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593-624, 1988.
3. R. Back. Refinement calculus, part II: Parallel and reactive programs. In REX Workshop for Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, Nijmegen, The Netherlands, 1989. Springer-Verlag.
4. R. Back. Refining atomicity in parallel algorithms. In PARLE Conference on Parallel Architectures and Languages Europe, Eindhoven, the Netherlands, June 1989. Springer Verlag.
5. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131-142. ACM, 1983.
6. R. Back and R. Kurki-Suonio. Distributed co-operation with action systems. ACM Transactions on Programming Languages and Systems, 10:513-554, October 1988.
7. R. J. R. Back, A. J. Martin and K. Sere. Specification of a Microprocessor. Department of Computer Science, Åbo Akademi University, Turku, Finland, 1993.
8. R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17-30, 1991.
9. R. J. R. Back and K. Sere. Action Systems with Synchronous Communication. To appear in E.-R. Olderog, editor, IFIP TC 2 Working Conference, on Programming Concepts, Methods and Calculi (PROCOMET '94), pages 107-126. Elsevier, 1994.
10. R. Back and J. von Wright. Refinement calculus, part I: Sequential programs. In REX Workshop for Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, Nijmegen, The Netherlands, 1989. Springer-Verlag.
11. R. Back and J. von Wright. Trace refinement of action systems. To appear in Proc. of CONCUR ‘94, Uppsala, Sweden, Augusti 1994.
12. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
13. E. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
14. N. Francez. Cooperating proofs for distributed programs with multiparty interaction. Information Processing Letters, 32:235-242, September 1989, North-Holland.
15. N. Francez, B. T. Hailpern and G. Taubenfeld. SCRIPT-A communication abstraction mechanism and its verification. Science of Computer Programming, 6:35–88, 1986.
16. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, August 1978.
17. INMOS Ltd. occam Programming Manual. Prentice-Hall International, 1984.
18. C. C. Morgan. Data Refinement by Miracles. Information Processing Letters 26:243-246, January 1988.
19. C. Morgan. Programming from Specifications. Prentice-Hall, 1990.
20. J. M. Morris. A Theoretical Basis for Stepwise Refinement and the Programming Calculus. Science of Computer Programming, 9:287–306, 1987.
21. G. Nelson. A Generalization of Dijkstra's Calculus. ACM Transactions on Programming Languages and Systems, 11(4):517-562, October 1989.
22. United States Department of Defence. Reference manual for the Ada programming language. ANSI/MIL-STD-1815A-1983, American National Standards Institute, New York, 1983.
23. N. Wirth. The programming language Oberon. Software - Practice and Experience, 18(7), 1988.