Foundations of Global Computing