- CSB - MetaPress - Google - Bing - Yahoo
 | 1988 | |
|---|---|---|
| j9 |      | Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. Acta Inf. 25(3): 305-332 (1988) |
| j8 | | Neelam Soundararajan, Roger L. Costello: Responsive sequential processes. SIGPLAN Notices 23(3): 53-62 (1988) |
| j7 | | Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu: A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. IEEE Trans. Software Eng. 14(10): 1443-1452 (1988) |
| c4 | | |
| 1987 | ||
| j6 | | Mathai Joseph, Abha Moitra, Neelam Soundararajan: Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8(1): 43-67 (1987) |
| c3 | | Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran: Complexity in Classificatory Reasoning. AAAI 1987: 421-425 |
| 1986 | ||
| j5 | | |
| 1985 | ||
| c2 |  | V. Ashok, Neelam Soundararajan, Roger L. Costello: : Distributed Discrete Event Simulation using Dataflow. ICPP 1985: 503-510 |
| c1 | | Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. Logic of Programs 1985: 343-358 |
| 1984 | ||
| j4 | | |
| j3 | | Neelam Soundararajan: Axiomatic Semantics of Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 6(4): 647-662 (1984) |
| 1983 | ||
| j2 | | |
| 1979 | ||
| j1 | | Neelam Soundararajan: Axiomatic Proofs of Fotal Correctness of Programs. Inf. Process. Lett. 8(5): 274-277 (1979) |
| 1 | V. Ashok | |
| 2 | B. Chandrasekaran (Balakrishnan Chandrasekaran) | |
| 3 | Roger L. Costello | |
| 4 | Ahmed K. Elmagarmid | |
| 5 | Ashok K. Goel | |
| 6 | Mathai Joseph | |
| 7 | Ming T. Liu (Ming-Tsan Liu) | |
| 8 | Abha Moitra | |
| 9 | Ann E. Kelley Sobel |
Colors in the list of coauthors
Last update Mon May 20 22:41:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page