V.: Modular safety checking for fine-grained concurrency (2007)

by C Calcagno, M Parkinson, Vafeiadis
Venue:In: In SAS. LNCS