An Abstract Machine for Concurrent Modular Systems: CHARM