A New Approach to Proving the Correctness of Multiprocess Programs
The link address is: http://research.microsoft.com/users/lamport/pubs/new-approach.pdf
A New Approach to Proving the Correctness of Multiprocess ProgramsThe link address is: http://research.microsoft.com/users/lamport/pubs/new-approach.pdf |