Service Combinators [Cardelli 96]
Formalism to make the communication aspect of Web computations more reliable
Consist of language constructs, that when combined, can mimic typical “web reflexes”:
- Timing out,
- Retrying,
- Parallel downloads, etc.
Implements a form of exception handling