2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
P. H. M. van Spaendonck
The busy-forbidden protocol is a new readers-writer lock with no resource contention between readers, which allows it to outperform other locks. For its verification, specification…