Jthread, a deadlock-free mutex library

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]

Authors

Johan Grande

This author has not been identified. Look up 'Johan Grande' in Google

Gérard Boudol

This author has not been identified. Look up 'Gérard Boudol' in Google

Manuel Serrano

This author has not been identified. Look up 'Manuel Serrano' in Google