Quality Control & Testing - Programming, Parallel, Distributed, and Supercomputing
Concurrency Verification : Introduction to Compositional and Non-Compositional Methods
W. P. De Roever, S. Abramsky, P. H. Aczel, Y. Gurevich, Ulrich Hanneman
Available on Bookshop
Write a review
Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Log in to track your reading progress.
Readers discussing Concurrency Verification : Introduction to Compositional and Non-Compositional Methods — questions, passages they’re puzzling over, and what to read next. Log in to read full threads and join in.
Start a discussion about this book
No discussions about this book yet.
Be the first — share a question, a passage, or a thought about Concurrency Verification : Introduction to Compositional and Non-Compositional Methods.