Verification of concurrent programs: proving eventualitites by well-founded ranking

Bibliographic Details
Main Author: Manna, Zohar (Author)
Other Involved Persons: Pnueli, A.
Format: Book
Language:English
Published: Stanford, Calif. : Dep. of Computer Science, Univ. 1982
Series:Stanford University. Report 915
Physical Description:25 S. graph. Darst
QR Code: Show QR Code