Search the dblp DataBase

Publications of Author

1. Anirban Majumdar, Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, Dhrubajyoti Goswami
   On-the-Fly Agent-Based Distributed Shared State Monitoring. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2004, pp:1396-1402 [Conf]
   
2. 
   Checking Distributed Programs with Partially Ordered Atoms. [Citation Graph (, )][DBLP]
   
   
3. 
   Using synchronized atoms to check distributed programs. [Citation Graph (, )][DBLP]
   
   
4. 
   Detecting Atomicity Errors in Message Passing Programs. [Citation Graph (, )][DBLP]