Safe-threads: a new model for object-oriented multi-threaded languages | IEEE Conference Publication | IEEE Xplore