Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?