Deadlock analysis of concurrent objects: Theory and practice (0)

by E Giachino, C A Grazia, C Laneve, M Lienhardt, P Y H Wong
Venue:In Integrated Formal Methods