Pierangelo di Sanzo, Francesco Del Re, Diego Rughetti, Bruno Ciciani, Francesco Quaglia. Regulating Concurrency in Software Transactional Memory: An Effective Model-based Approach. In 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2013, Philadelphia, PA, USA, September 9-13, 2013. pages 31-40, IEEE, 2013. [doi]
Abstract is missing.