Modular safety checking for fine-grained concurrency (2007)

by Cristiano Calcagno , Matthew Parkinson , Viktor Vafeiadis
Venue:In SAS. LNCS
Citations:21 - 6 self