Concurrent and Distributed Desk Checking. - Amiram Hayardeny; Shachar Fienblit; Eitan Farchi (IPDPS, 2004)

Distributed desk checking. - Amiram Hayardeny; Shachar Fienblit; Eitan Farchi (Concurr. Comput. Pract. Exp., 2007)