Concepedia
Information Processing Letters · 1985 · 1K citations · 5 references
5
Proving the Correctness of Multiprocess Programs
Leslie Lamport · IEEE Transactions on Software Engineering · 1977 · 1.1K citations
Computing, Computer Science, Computer Systems +17
Proving Liveness Properties of Concurrent Programs
Susan Owicki, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1982 · 583 citations · Full text
Computing, Computer Engineering, Computer Science +9
The correctness problem in computer science
Mathematics and Computers in Simulation · 1983 · 355 citations
Computing, Computer Science, Algorithms +11
The ``Hoare Logic'' of CSP, and All That
Leslie Lamport, Fred B. Schneider · ACM Transactions on Programming Languages and Systems · 1984 · 116 citations · Full text
Computing, Computer Science, Formal Methods +4
On characterization of safety and liveness properties in temporal logic
A. Prasad Sistla · 1985 · 47 citations · Full text
Engineering, Systems Engineering, Fault Tolerance +10