Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)
Finding the correctness proof of a concurrent program
KeywordsMinimal Solution Atomic Action Concurrent Program Correctness Proof Angle Bracket
Unable to display preview. Download preview PDF.
- EWD622 "On making solutions more and more fine-grained." by Edsger W.Dijkstra.Google Scholar
© Springer-Verlag Berlin Heidelberg 1978