Variable permissions for concurrency verification

10.1007/978-3-642-34281-3_4Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7635 LNCS5-2