An experience report on the verification of autonomic protocols in the cloud
Towards the extinction of mega data centres? To which extent should the Cloud be distributed at the network edge?