Safe-Threads: A New Model for Object-Oriented Multi-Threaded Languages