Neelam Soundararajan

Publication Activity (10 Years)

Years Active: 1979-1988
Publications (10 Years): 0

Publications

Ann E. Kelley Sobel, Neelam Soundararajan
A Proof System for Distributed Processes. Acta Informatica 25 (3) (1988)
Neelam Soundararajan, Roger L. Costello
Responsive sequential processes. ACM SIGPLAN Notices 23 (3) (1988)
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) (1988)
Neelam Soundararajan, Roger L. Costello
Responsive Sequential Processes. FTRTFT (1988)
Mathai Joseph, Abha Moitra, Neelam Soundararajan
Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8 (1) (1987)
Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran
Complexity in Classificatory Reasoning. AAAI (1987)
Neelam Soundararajan
Total Correctness of CSP Programs. Acta Informatica 23 (2) (1986)
Ann E. Kelley Sobel, Neelam Soundararajan
A Proof System for Distributed Processes. Logic of Programs (1985)
V. Ashok, Neelam Soundararajan, Roger L. Costello
: Distributed Discrete Event Simulation using Dataflow. ICPP (1985)
Neelam Soundararajan
Denotational Semantics of CSP. Theor. Comput. Sci. 33 (1984)
Neelam Soundararajan
Axiomatic Semantics of Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 6 (4) (1984)
Neelam Soundararajan
A proof technique for parallel programs. Theor. Comput. Sci. 31 (1984)
Neelam Soundararajan
Correctness Proofs of CSP Programs. Theor. Comput. Sci. 24 (1983)
Neelam Soundararajan
Axiomatic Proofs of Fotal Correctness of Programs. Inf. Process. Lett. 8 (5) (1979)