Concurrent and distributed desk checkingAmiram HayardenyShachar Fienblitet al.2004IPDPS 2004Conference paper