# Neelam Soundararajan

According to our database

^{1}, Neelam Soundararajan## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

1988

A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.

IEEE Trans. Software Eng., 1988

Responsive sequential processes.

SIGPLAN Notices, 1988

A Proof System for Distributed Processes.

Acta Inf., 1988

Responsive Sequential Processes.

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Proof Rules for Fault Tolerant Distributed Programs.

Sci. Comput. Program., 1987

Complexity in Classificatory Reasoning.

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Total Correctness of CSP Programs.

Acta Inf., 1986

1985

A Proof System for Distributed Processes.

Proceedings of the Logics of Programs, 1985

: Distributed Discrete Event Simulation using Dataflow.

Proceedings of the International Conference on Parallel Processing, 1985

1984

Axiomatic Semantics of Communicating Sequential Processes.

ACM Trans. Program. Lang. Syst., 1984

Denotational Semantics of CSP.

Theor. Comput. Sci., 1984

A proof technique for parallel programs.

Theor. Comput. Sci., 1984

1983

Correctness Proofs of CSP Programs.

Theor. Comput. Sci., 1983

1979

Axiomatic Proofs of Fotal Correctness of Programs.

Inf. Process. Lett., 1979