A New Approach to Proving the Correctness of Multiprocess Programs
Document Actions
The link address is: http://research.microsoft.com/users/lamport/pubs/new-approach.pdf
|
|
This site conforms to the following standards:
