7 treff

Completeness issues in trace based systems
Neelam Soundararajan
Bok Engelsk 1991
Guaranteeing liveness
Neelam Soundararajan, Sanjay Gadkari
Bok Engelsk 1991
Partial correctness semantics of communicating sequential processes
by Neelam Soundararajan and Ole-Johan Dah...
Bok Engelsk 1982
Axiomatic semantics of communicating sequential processes
by Neelam Soundararajan
Bok Engelsk 1981
Consistency and completeness of a proof system for CSP
by Neelam Soundararajan
Bok Engelsk 1981
A note on the Egli-Milner order and Smyth's problem
by Neelam Soundararajan
Bok Engelsk 1981
Proofs of correctness of CSP programs
by Neelam Soundararajan
Bok Engelsk 1981