![]() | ![]() |
2007 | ||
---|---|---|
4 | EE | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem. ACM SIGSOFT Software Engineering Notes 32(4): (2007) |
3 | EE | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Ordering of events in two-process concurrent system. ACM SIGSOFT Software Engineering Notes 32(4): (2007) |
2 | EE | 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) |
1 | EE | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. SIGPLAN Notices 42(5): 10-15 (2007) |
1 | Anup Kumar Bandyopadhyay | [1] [2] [3] [4] |
2 | Jayasri Banerjee | [1] [2] [3] [4] |