ULM: A Core Programming Model for Global Computing

  title={ULM: A Core Programming Model for Global Computing},
  author={G{\'e}rard Boudol},
We propose a programming model to address the unreliable character of accessing resources in a global computing context, focusing on giving a precise semantics for a small, yet expressive core language. To design the language, we use ideas and programming constructs from the synchronous programming style, that allow us to deal with the suspensive character of some operations, and to program reactive behaviour. We also introduce constructs for programming mobile agents, that move together with… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 16 references

ULM, A core programming model for global computing, available from the author’s web

  • G. Boudol
  • 2003
Highly Influential
5 Excerpts

Dawies, Service combinators for web computing

  • R. L. Cardelli
  • IEEE Trans. on Software Engineering
  • 1999
2 Excerpts

Similar Papers

Loading similar papers…