Neelam Soundararajan

14 papers A* 1B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
1988 J jnl
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.
IEEE Trans. Software Eng.
Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu
1988 J jnl
A Proof System for Distributed Processes.
Acta Informatica
Ann E. Kelley Sobel, Neelam Soundararajan
1988 — conf
Responsive Sequential Processes.
FTRTFT
Neelam Soundararajan, Roger L. Costello
1988 J jnl
Responsive sequential processes.
ACM SIGPLAN Notices
Neelam Soundararajan, Roger L. Costello
1987 A* conf
Complexity in Classificatory Reasoning.
AAAI
Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran
1987 J jnl
Proof Rules for Fault Tolerant Distributed Programs.
Sci. Comput. Program.
Mathai Joseph, Abha Moitra, Neelam Soundararajan
1986 J jnl
Total Correctness of CSP Programs.
Acta Informatica
Neelam Soundararajan
1985 B conf
: Distributed Discrete Event Simulation using Dataflow.
ICPP
V. Ashok, Neelam Soundararajan, Roger L. Costello
1985 — conf
A Proof System for Distributed Processes.
Logic of Programs
Ann E. Kelley Sobel, Neelam Soundararajan
1984 J jnl
A proof technique for parallel programs.
Theor. Comput. Sci.
Neelam Soundararajan
1984 J jnl
Axiomatic Semantics of Communicating Sequential Processes.
ACM Trans. Program. Lang. Syst.
Neelam Soundararajan
1984 J jnl
Denotational Semantics of CSP.
Theor. Comput. Sci.
Neelam Soundararajan
1983 J jnl
Correctness Proofs of CSP Programs.
Theor. Comput. Sci.
Neelam Soundararajan
1979 J jnl
Axiomatic Proofs of Fotal Correctness of Programs.
Inf. Process. Lett.
Neelam Soundararajan