On the correctness issues in two-process mutual exclusion algorithms

Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal. On the correctness issues in two-process mutual exclusion algorithms. ACM SIGSOFT Software Engineering Notes, 32(6), 2007. [doi]

Abstract

Abstract is missing.