|
Search the dblp DataBase
Neelam Soundararajan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. [Citation Graph (2, 0)][DBLP] IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1443-1452 [Journal]
- Ashok K. Goel, N. Soundararajan, B. Chandrasekaran
Complexity in Classificatory Reasoning. [Citation Graph (0, 0)][DBLP] AAAI, 1987, pp:421-425 [Conf]
- Neelam Soundararajan, Roger L. Costello
Responsive Sequential Processes. [Citation Graph (0, 0)][DBLP] FTRTFT, 1988, pp:131-133 [Conf]
- V. Ashok, Neelam Soundararajan, Roger L. Costello
: Distributed Discrete Event Simulation using Dataflow. [Citation Graph (0, 0)][DBLP] ICPP, 1985, pp:503-510 [Conf]
- Ann E. Kelley Sobel, N. Soundararajan
A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1985, pp:343-358 [Conf]
- Ann E. Kelley Sobel, N. Soundararajan
A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP] Acta Inf., 1988, v:25, n:3, pp:305-332 [Journal]
- N. Soundararajan
Total Correctness of CSP Programs. [Citation Graph (0, 0)][DBLP] Acta Inf., 1986, v:23, n:2, pp:193-215 [Journal]
- Mathai Joseph, Abha Moitra, Neelam Soundararajan
Proof Rules for Fault Tolerant Distributed Programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1987, v:8, n:1, pp:43-67 [Journal]
- Neelam Soundararajan, Roger L. Costello
Responsive sequential processes. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1988, v:23, n:3, pp:53-62 [Journal]
Search in 0.002secs, Finished in 0.003secs
|