A platform for distributed computing