The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation