PDF-How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor Leslie Lamport Digital Equipment Corporation February Minor revisions January and September Abstract A multiproc
A method is proposed for deriving the necessary commands from a correctness proof of the underlying algorithm in a formalism based on temporal relations among operation
Download Presentation
"How to Make a Correct Multiprocess Program Execute Correctly…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.