dblp.uni-trier.dewww.uni-trier.de

Ajit Kumar Mandal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEJayasri 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)
3EEJayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Ordering of events in two-process concurrent system. ACM SIGSOFT Software Engineering Notes 32(4): (2007)
2EEJayasri 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)
1EEJayasri 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)

Coauthor Index

1Anup Kumar Bandyopadhyay [1] [2] [3] [4]
2Jayasri Banerjee [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)