From action systems to modular systems

Software-Concepts and Tools

Volumn 17, Issue 1, 1996, Pages 26-39

  Back, Ralph J R ^a   Sere, Kaisa ^b  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b UNIVERSITY OF EASTERN FINLAND   (Finland)

Author keywords

Action system; Decomposition; Language extension; Modularization; Module; Parallel design; Reactive system; Specification; System design

Indexed keywords

EID: 0042059689     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. Back R (1980) Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Center Tracts, Vol 131, Mathematical Centre, Amsterdam
2. Back R (1988) A Calculus of Refinements for Program Derivations. Acta Informatica, 25:593-624
3. Back R (1989) Refinement Calculus, Part II: Parallel and Reactive Programs. In REX Workshop for Refinement of Distributed Systems, Lecture Notes in Computer Science, Vol. 430, Nijmegen, The Netherlands, Springer-Verlag
4. Back R (June 1989) Refining Atomicity in Parallel Algorithms. In PARLE Conference on Parallel Architectures and Languages, Europe, Eindhoven, the Netherlands, Springer-Verlag
5. Back R, Kurki-Suonio R (1983) Decentralization of Process Nets with Centralized Control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 131-142, ACM
6. Back R, Kurki-Suonio R (October 1988) Distributed Cooperation with Action Systems. ACM Transactions on Programming Languages and Systems, 10:513-554
7. Back RJR, Martin AJ, Sere K (1995) An Action System Specification of the Caltech Asynchronous Microprocessor. In Mathematics of Program Construction 95, Lecture Notes in Computer Science, Vol. 947, Kloster Irsee, Germany, Springer-Verlag
8. Back R, Sere K (1991) Stepwise Refinement of Action Systems. Structured Programming, 12:17-30, Springer-Verlag
9. Back RJR, Sere K (1994) Action Systems with Synchronous Communication. In Olderog ER, Editor, IFIP TC 2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), 107-126. Elsevier
10. Back R, von Wright J (1989) Refinement Calculus, Part I: Sequential Programs. In REX Workshop for Refinement of Distributed Systems, Lecture Notes in Computer Science, Vol. 430, Nijmegen, The Netherlands, Springer-Verlag
11. Back R, von Wright J (August 1994) Trace Refinement of Action Systems. In Proc. of CONCUR '94, Uppsala, Sweden
12. Chandy K, Misra J (1988) Parallel Program Design: A Foundation. Addison-Wesley
13. Dijkstra E (1976) A Discipline of Programming. Prentice Hall International
14. Francez N (September 1989) Cooperating Proofs for Distributed Programs with Multiparty Interaction. Information Processing Letters, 32:235-242, North-Holland
15. Francez N, Hailpern BT, Taubenfeld G (1986) SCRIPT - A Communication Abstraction Mechanism and Its Verification. Science of Computer Programming, 6:35-88
16. Hoare CAR (August 1978) Communicating Sequential Processes. Communications of the ACM, 21(8):666-677
17. INMOS Ltd. (1984) Occam Programming Manual. Prentice Hall International
18. Morgan CC (January 1988) Data Refinement by Miracles. Information Processing Letters 26:243-246
19. Morgan C (1990) Programming from Specifications. Prentice-Hall
20. Morris JM (1987) A Theoretical Basis for Stepwise Refinement and the Programming Calculus. Science of Computer Programming, 9:287-306
21. Nelson G (October 1989) A Generalization of Dijkstra's Calculus. ACM Transactions on Programming Languages and Systems, 11(4):517-562
22. United States Department of Defence. Reference Manual for the Ada Programming Language. ANSI/MIL-STD-1815A-1983, American National Standards Institute, New York
23. Wirth N (1988) The Programming Language Oberon. Software - Practice and Experience, 18(7)