Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java | IEEE Conference Publication | IEEE Xplore