Neelam Soundararajan

According to our database1, Neelam Soundararajan
  • authored at least 14 papers between 1979 and 1988.
  • has a "Dijkstra number"2 of four.

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


  Loading...