Towards a compositional method for cotowards a compositional method for coordinating gamma programs

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

Volumn 1061, Issue , 1996, Pages 107-123

  Chaudron, Michel ^a   De Jong, Edwin ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b THALES NEDERLAND B V   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; COMPUTATIONAL LINGUISTICS; EFFICIENCY;

ADDITIONAL CONTROL; COMPOSITIONAL METHOD; COORDINATION LANGUAGE; DESIGN PROCESS; GAMMA PROJECT; PROGRAM DESIGN; PROGRAMMING MODELS; REFINEMENT LAWS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84958756536     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61052-9_42     Document Type: Conference Paper

References (18)

1. R.J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume Mathematical Centre Tracts 131. Mathematical Center, Amsterdam, 1980
2. R.J.R. Back. Refinement calculus, part ii: Parallel and reactive programs. In LNCS 430: Stepwise Refinement of Distributed Systems '89, pages 67-93. Springer-Verlag, 1989
3. J.-P. Banâtre, A. Coutant, and D. Le Métayer. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4:133-144, 1988
4. J.-P. Banâtre and D. Le Métayer. The GAMMA model and its discipline of programming. Science of Computer Programming, 15:55-77, November 1990
5. J.-P. Banhtre and D. Le Mfitayer. Programming by multiset transformation. Communications of the ACM, 36(1):98-111, January 1993
6. N. Carriero and D. Gelernter. Coordination languages and their significance. Communications of the ACM, 35(2):97-107, February 1992
7. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison- Wesley, 1988
8. M. Chaudron. Schedules for multiset transformer programs. Technical Report 94- 36, Rijksuniversiteit Leiden, Departement of Mathematics and Computing Science, P.O. Box 9512, 2300 RA Leiden, The Netherlands, December 1994
9. M. Chaudron. Towards compositional design of schedules for multiset transformer programs. Technical Report 95-32, Rijksuniversiteit Leiden, Departement of Mathematics and Computing Science, P.O. Box 9512, 2300 RA Leiden, The Netherlands, November 1995
10. M. Chaudron and E. De Jong. Schedules for multiset transformer programs. In Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, 1996. (to appear)
11. P. Ciancarini, R. Gorrieri, and G. Zavattaro. An alternative semantics for the calculus of GAMMA programs. In Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, 1996. (to appear)
12. C. Hankin, D. Le Métayer, and D. Sands. A calculus of GAMMA programs. In 5 th International Workshop on Languages and Compilers for Parallel Computing, LNCS 757, pages 342-355. Springer-Verlag, 1992
13. C. Hankin, D. Le M6tayer, and D. Sands. A parallel programming style and its algebra of programs. In PARLE '93, LNCS 694, pages 367-378. Springer-Verlag, 1993
14. Singh A. K. Program refinement in fair transition systems. Acta Informatica, 30:503-535, 1993
15. R. Milner. Communication and Concurrency. Prentice-Hall, 1989
16. M. J. Quinn. Parallel Computing: Theory and Practice (2 nd ed). McGraw-Hill, 1994
17. D. Sands. A compositional semantics of combining forms for gamma programs. In LNCS 735, Formal Methods in Pro9ramming and Their Applications, pages 43-56. Springer-Verlag, 1993
18. D. Sands. Laws of synchronised termination. In Proceedings of the First Imperial College Departement of Computing Workshop on Theory and Formal Methods, pages 276-288. Springer-Verlag, 1993.