What do you think?
Rate this book
Verification of Sequential and Concurrent Programs
1 Introduction.- 2 Preliminaries.- 3 Deterministic Programs.- 4 Disjoint Parallel Programs.- 5 Parallel Programs with Shared Variables.- 6 Parallel Programs with Synchronization.- 7 Nondeterministic Programs.- 8 Distributed Programs.- 9 Fairness.- References.- Author Index.- Symbol Index.
388 pages, Paperback
First published July 9, 1991
1 person is currently reading
6 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.