Finding shrink critical section refactoring opportunities for the evolution of concurrent code in trustworthy software

Ju Qian, Lin Chen, Baowen Xu. Finding shrink critical section refactoring opportunities for the evolution of concurrent code in trustworthy software. Science in China Series F: Information Sciences, 56(1):1-20, 2013. [doi]

Abstract

Abstract is missing.