Superposition refinement of reactive systems

Formal Aspects of Computing

Volumn 8, Issue 3, 1996, Pages 324-346

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

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b UNIVERSITY OF EASTERN FINLAND   (Finland)

Author keywords

Action systems; Distributed systems; Refinement calculus; Superposition

Indexed keywords

ALGORITHMS; COMMUNICATION; OPTIMIZATION;

ACTION; DISTRIBUTED SYSTEM; PARALLEL PROGRAM; REPLICATION; SPANNING TREE; SPECIFICATION LANGUAGE; SUPERPOSITION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030361678     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01214918     Document Type: Article

References (19)

1. Back, R. J. R.: Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.
2. Back, R. J. R.: A calculus of refinements for program derivations. Acta Informatica, 25:593-624, 1988.
3. 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, pages 67-93. Springer-Verlag, 1990.
4. Back, R. J. R. and Kurki-Suonio, R.: Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131-142, 1983.
5. Back, R. J. R. and Sere, K.: Deriving an occam implementation of action systems. In Proc. of the 3rd Refinement Workshop BCS FACS/IBM UK Laboratories/Oxford University, Hursley Park, England, January 1990. Workshops in Computing, Springer-Verlag, 1991.
6. Back, R. J. R. and Sere, K. Stepwise refinement of parallel algorithms. Science of Computer Programming, 1(1):133-180, January 1990.
7. Back, R. J. R. and Sere, K.: Superposition refinement of parallel algorithms. In K. R. Parker, and G. A. Rose, editors, Formal Description Techniques, IV, IFIP Transactions C-2, pages 475-494. North-Holland, 1992.
8. 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, pages 42-66. Springer-Verlag, 1990.
9. Bougé, L. and Francez, N.: A compositional approach to superposition. In Proc. of the 14th ACM Conference on Principles of Programming Languages, pages 240-249, San Diego, California, USA, January 13-15 1988.
10. Chandy, K. and Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, 1988.
11. Dijkstra, E. W.: A Discipline of Programming. Prentice-Hall International, 1976.
12. Dijkstra, E. W., Lamport, L., Martin, A. J., Scholten, C. S. and Steffen, E. F. M.: On-the-fly garbage collection: An exercise in cooperation. Communications of the ACM, 21:966-975, 1978.
13. Francez, N. and Forman, I. R.: Superimposition for interacting processes. In J. C. M. Baeten and J. W. Klop, editors, CONCUR '9O Theories of Concurrency: Unification and Extension. Proceedings, volume 458 of Lecture Notes in Computer Science, pages 230-245, Amsterdam, the Netherlands, August 1990. Springer-Verlag.
14. Katz, S. M.: A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, April 1993.
15. Kurki-Suonio, R. and Järvinen. H.-M.: Action system approach to the specification and design of distributed systems. In Proc. of the 5th International Workshop on Software Specification and Design, pages 34-40. ACM Software Engineering Notes 14(3), May 1989.
16. Morgan; C. C.: The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403-419, July 1988.
17. Morris, J. M.: A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9:287-306, 1987.
18. Ramesh, S. and Mehndiratta, S. L.: A methodology for developing distributed programs. IEEE Transactions on Software Engineering, SE-13(8):967-976, 1987.
19. Sere, K.: Stepwise Derivation of Parallel Algorithms. PhD thesis, Department of Computer Science, Åbo Akademi University, Turku, Finland, 1990.