At the moment I am working hard with the book "Concurrency Verification Introduction to Compositional and Non-compositional Methods" written by Willem-Paul de Roever et al. In the introduction section a companion volume is mentioned and even its structure and the questions answered in the companion are described.

The problem is: No matter how I hard I search for this companion volume I can not find it. It simply does not seem to exist.

Has anyone ever wondered too what volume this might be and also an answer?

Thank you Marvin


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.