Service Combinators for Farming Virtual Machines.

Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya

Browse the full Coordination paper archive.