Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya. Service Combinators for Farming Virtual Machines. In Doug Lea, Gianluigi Zavattaro, editors, Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Volume 5052 of Lecture Notes in Computer Science, pages 33-49, Springer, 2008. [doi]
Abstract is missing.