Distributing abstract machines