Johan Grande, Gérard Boudol, Manuel Serrano. Jthread, a deadlock-free mutex library. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 149-160, ACM, 2015. [doi]
Abstract is missing.