Modular safety checking for fine-grained concurrency (2007)

by C Calcagno, M Parkinson, V Vafeiadis
Venue:In Proceedings of SAS’07, LNCS 4634