Home

GlobalComp Models, semantics, logics and technologies for global computing