Views: compositional reasoning for concurrent programs. In: (2013)

by T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang
Venue:POPL.