| 1988 |
|---|
| 13 | | Neelam Soundararajan,
Roger L. Costello:
Responsive Sequential Processes.
FTRTFT 1988: 131-133 |
| 12 | | Ann E. Kelley Sobel,
Neelam Soundararajan:
A Proof System for Distributed Processes.
Acta Inf. 25(3): 305-332 (1988) |
| 11 | EE | 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) |
| 10 | EE | Neelam Soundararajan,
Roger L. Costello:
Responsive sequential processes.
SIGPLAN Notices 23(3): 53-62 (1988) |
| 1987 |
|---|
| 9 | | Ashok K. Goel,
Neelam Soundararajan,
B. Chandrasekaran:
Complexity in Classificatory Reasoning.
AAAI 1987: 421-425 |
| 8 | | Mathai Joseph,
Abha Moitra,
Neelam Soundararajan:
Proof Rules for Fault Tolerant Distributed Programs.
Sci. Comput. Program. 8(1): 43-67 (1987) |
| 1986 |
|---|
| 7 | | Neelam Soundararajan:
Total Correctness of CSP Programs.
Acta Inf. 23(2): 193-215 (1986) |
| 1985 |
|---|
| 6 | | V. Ashok,
Neelam Soundararajan,
Roger L. Costello:
: Distributed Discrete Event Simulation using Dataflow.
ICPP 1985: 503-510 |
| 5 | | Ann E. Kelley Sobel,
Neelam Soundararajan:
A Proof System for Distributed Processes.
Logic of Programs 1985: 343-358 |
| 1984 |
|---|
| 4 | EE | Neelam Soundararajan:
Axiomatic Semantics of Communicating Sequential Processes.
ACM Trans. Program. Lang. Syst. 6(4): 647-662 (1984) |
| 3 | | Neelam Soundararajan:
Denotational Semantics of CSP.
Theor. Comput. Sci. 33: 279-304 (1984) |
| 1983 |
|---|
| 2 | | Neelam Soundararajan:
Correctness Proofs of CSP Programs.
Theor. Comput. Sci. 24: 131-141 (1983) |
| 1979 |
|---|
| 1 | | Neelam Soundararajan:
Axiomatic Proofs of Fotal Correctness of Programs.
Inf. Process. Lett. 8(5): 274-277 (1979) |
