Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGPLAN Notices, 2007)

Ordering of events in two-process concurrent system. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGSOFT Softw. Eng. Notes, 2007)

Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGSOFT Softw. Eng. Notes, 2007)

On the correctness issues in two-process mutual exclusion algorithms. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGSOFT Softw. Eng. Notes, 2007)