| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 4 |      | 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 | | 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 | | 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 | | 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 | Ajit Kumar Mandal | [1] [2] [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page