The Bakery Algorithm: Yet Another Specification and Verification (0)

by Egon Börger , Yuri Gurevich , Dean Rosenzweig
Citations:31 - 8 self