1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Afshin Amighi, Marieke Huisman, Stefan Blom
Synchronisation classes are an important building block for shared memory concurrent programs. Thus to reason about such programs, it is important to be able to verify the implemen…