Tracing Function Dependencies across Clouds
Causal memory: definitions, implementation, and programming