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

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