Towards a Compositional Method for Coordinating Gamma Programs

@inproceedings{Chaudron1996TowardsAC,
  title={Towards a Compositional Method for Coordinating Gamma Programs},
  author={Michel R. V. Chaudron and Edwin D. de Jong},
  booktitle={COORDINATION},
  year={1996}
}
With the growing complexity of software, incurred by the widespread acceptance of parallel and distributed computer systems and networks, program design would bene t from clearly separating the correctness issues (the computation) from e ciency issues (the coordination). Gamma has shown to be a powerful and expressive programming model that allows the basic computations of a program to be expressed with a minimum of control. This enables the programmer to defer e ciency related decisions until… CONTINUE READING
BETA

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

D

C. Hankin
  • Le M etayer, and D. Sands. A calculus of gamma programs. In 5th International Workshop on Languages and Compilers for Parallel Computing, LNCS 757, pages 342{355. Springer-Verlag
  • 1992
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Communication and Concurrency

R. Milner
  • Prentice-Hall
  • 1989
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Notions of re nement for a coordination language for gamma

M. Chaudron, E. De Jong
  • In Proceedings of the Theory and Formal Methods Workshop
  • 1996
VIEW 1 EXCERPT

Towards a compositional method for coordinating gamma programs

M. Chaudron, E. De Jong
  • LNCS 1061, Proceedings Coordination '96, pages 107{123. Springer Verlag
  • 1996
VIEW 1 EXCERPT

Parallel Computing: Theory and Practice (2nd ed)

M. J. Quinn
  • 1994

A Compositional Semantics of Combining Forms for Gramma Programs

  • Formal Methods in Programming and Their Applications
  • 1993
VIEW 1 EXCERPT

Laws of Parallel Synchronised Termination

  • Theory and Formal Methods
  • 1993
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…